MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Podelski, Andreasdblp
Editor(s):
Maluszynski, Jandblp
BibTeX cite key*:
Podelski97
Title, Booktitle
Title*:
Set-Based Analysis of Logic Programs and Reactive Logic Programs
Booktitle*:
Proceedings of the International Symposium on Logic Programming (ILPS-14)
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Leuven, Belgium
Language:
English
Event Date*
(no longer used):
July 8-12
Organization:
Event Start Date:
16 May 2024
Event End Date:
16 May 2024
Publisher
Name*:
MIT Press
URL:
Address*:
Cambridge, USA
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
Pages:
35-36
Year*:
1997
VG Wort Pages:
ISBN/ISSN:
0-262-63180-6
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:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography



BibTeX Entry:
@INPROCEEDINGS{Podelski97,
AUTHOR = {Podelski, Andreas},
 EDITOR = {Maluszynski, Jan},
 TITLE = {Set-Based Analysis of Logic Programs and Reactive Logic Programs},
 BOOKTITLE = {Proceedings of the International Symposium on Logic Programming (ILPS-14)},
 PUBLISHER = {MIT Press},
 YEAR = {1997},
 PAGES = {35--36},
 ADDRESS = {Leuven, Belgium},
 ISBN = {0-262-63180-6},
}

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
02/26/1998 02:10:34 PM
Revisions
3.
2.
1.
0.
Editor(s)
Christine Kiesel
Uwe Brahm
Uwe Brahm
Uwe Brahm
Edit Dates
04.09.2001 12:27:25
03/06/98 06:20:26 PM
02/26/98 03:34:22 PM
02/26/98 02:22:03 PM