MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Werner, Andreas
Bockmayr, Alexander
Krischer, Stefan		dblp
dblp
dblp
Editor(s):
Mück, A.dblp
BibTeX cite key*:
WernerBockmayrKrischer93f
Title, Booktitle
Title*:
How to Realize LSE Narrowing
Booktitle*:
Proceedings of the 2nd International Workshop on Functional/Logic Programming
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Rattenberg
Language:
English
Event Date*
(no longer used):
?
Organization:
Event Start Date:
14 May 2024
Event End Date:
14 May 2024
Publisher
Name*:
LMU München, Technical Report 9311
URL:
Address*:
München, Germany
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
October
Pages:
?-?
Year*:
1993
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
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:
@INPROCEEDINGS{WernerBockmayrKrischer93f,
AUTHOR = {Werner, Andreas and Bockmayr, Alexander and Krischer, Stefan},
 EDITOR = {M{\"u}ck, A.},
 TITLE = {How to Realize {LSE} Narrowing},
 BOOKTITLE = {Proceedings of the 2nd International Workshop on Functional/Logic Programming},
 PUBLISHER = {LMU München, Technical Report 9311},
 YEAR = {1993},
 PAGES = {?--?},
 ADDRESS = {Rattenberg},
 MONTH = {October},
}

Entry last modified by Christine Kiesel, 03/12/2010
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:05 PM
Revisions
11.
10.
9.
8.
7.		Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel		Edit Dates
04.09.2001 11:18:05
04.09.2001 11:17:09
28.08.2001 08:43:56
28.08.2001 08:41:35
03/16/2001 03:05:18 PM