Technical, Research Report
@TechReport
Technischer-, Forschungsbericht


Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

login to update
Options:









Author, Editor
Author(s):
Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan		dblp
dblp
dblp
Editor(s):

BibTeX Citekey*:

WernerBockmayrKrischer93i

Language:

English

Title, Institution

Title*:

How to Realize LSE Narrowing

Institution*:

Fakultät für Informatik, Universität Karlsruhe

Publishers or Institutions Address*:

Karlsruhe

Type:


No, Year, pp.,

Number*:

6/93
Pages*:

?

Month:


VG Wort
Pages*:


Year*:

1993
ISBN/ISSN:






DOI:




Note, Abstract, ©

Note:


(LaTeX) Abstract:


Categories / Keywords:


Copyright Message:


HyperLinks / References / URLs:


Personal Comments:


File Upload:


Download
Access Level:


Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
CCL bibliography


BibTeX Entry:
@TECHREPORT{WernerBockmayrKrischer93i,
AUTHOR = {Werner, Andreas and Bockmayr, Alexander and Krischer, Stefan},
 TITLE = {How to Realize {LSE} Narrowing},
 YEAR = {1993},
 INSTITUTION = {Fakultät für Informatik, Universität Karlsruhe},
 NUMBER = {6/93},
 PAGES = {?},
 ADDRESS = {Karlsruhe},
}

Entry last modified by Christine Kiesel, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Uwe Brahm		Created
01/14/1995 06:51:06 PM
Revisions
5.
4.
3.
2.
1.		Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE		Edit Dates
28.08.2001 08:44:26
28.08.2001 08:42:00
28.08.2001 08:41:51
21/01/95 20:47:32
17/01/95 21:20:57