Technical, Research Report
@TechReport
Technischer-, Forschungsbericht


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | 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