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):
Beierle, C.dblp
BibTeX cite key*:
WernerBockmayrKrischer93g
Title, Booktitle
Title*:
A Concept for the Implementation of LSE Narrowing
Booktitle*:
9.~Workshop Logische Programmierung
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Hagen
Language:
English
Event Date*
(no longer used):
?
Organization:
Event Start Date:
28 April 2024
Event End Date:
28 April 2024
Publisher
Name*:
{FU Hagen, Informatik Bericht 146} -- 10/1993
URL:
Address*:
Hagen
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
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{WernerBockmayrKrischer93g,
AUTHOR = {Werner, Andreas and Bockmayr, Alexander and Krischer, Stefan},
 EDITOR = {Beierle, C.},
 TITLE = {A Concept for the Implementation of {LSE} Narrowing},
 BOOKTITLE = {9.~Workshop Logische Programmierung},
 PUBLISHER = {{FU Hagen, Informatik Bericht 146} -- 10/1993},
 YEAR = {1993},
 PAGES = {?},
 ADDRESS = {Hagen},
}

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
7.
6.
5.
4.
3.		Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel		Edit Dates
28.08.2001 08:44:08
28.08.2001 08:41:09
28.08.2001 08:41:01
28.08.2001 08:40:53
09/02/95 14:15:19