Publications: Proceedings Article: Bottom-Up Deduction with Deletion and Priorities

Server halma.mpi-inf.mpg.de

Proceedings Article, Paper

@InProceedings
Beitrag in Tagungsband, Workshop

Author, Editor

Author(s):

Ganzinger, Harald

dblp

Editor(s):

Danvy, Olivier
Filinski, Andrzej

dblp
dblp

BibTeX cite key*:

Ganzinger2003a

Title, Booktitle

Title*:	Bottom-Up Deduction with Deletion and Priorities
Booktitle*:	Programs as Data Objects (PADO-01) : Second Symposium PADO 2001

Event, URLs

Conference URL::
Downloading URL:	http://link.springer-ny.com/link/service/series/0558/bibs/2053/20530276.htm; http://link.springer-ny.com/link/service/series/0558/papers/2053/20530276.pdf
Event Address*:	Aarhus, Denmark	Language:	English
Event Date* (no longer used):	~~May, 21-23, 2001~~	Organization:
Event Start Date:	14 May 2003	Event End Date:	18 May 2003

Publisher

Name*:	Springer	URL:
Address*:	Berlin, Germany	Type:

Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:	2053	Number:
Month:		Pages:	276-277
Year*:	2001	VG Wort Pages:	2
ISBN/ISSN:	0302-9743	Sequence Number:
DOI:

Note, Abstract, ©





Download Access Level:	Public

Correlation

MPG Unit:	Max-Planck-Institut für Informatik

MPG Subunit:	Programming Logics Group
Audience:	Expert
Appearance:	MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort

BibTeX Entry:

@INPROCEEDINGS{Ganzinger2003a,
AUTHOR = {Ganzinger, Harald},
EDITOR = {Danvy, Olivier and Filinski, Andrzej},
TITLE = {Bottom-Up Deduction with Deletion and Priorities},
BOOKTITLE = {Programs as Data Objects (PADO-01) : Second Symposium PADO 2001},
PUBLISHER = {Springer},
YEAR = {2001},
VOLUME = {2053},
PAGES = {276--277},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Aarhus, Denmark},
ISBN = {0302-9743},
}

Entry last modified by Brigitta Hansen, 03/12/2010

Edit History (please click the blue arrow to see the details)

	Editor(s) Christine Kiesel	Created 01/23/2003 12:23:34 PM
Revisions 7. 6. 5. 4. 3.	Editor(s) Brigitta Hansen Brigitta Hansen Christine Kiesel Christine Kiesel Christine Kiesel	Edit Dates 01/26/2004 01:22:27 PM 01/26/2004 01:22:04 PM 14.05.2003 17:43:51 23.01.2003 16:16:59 23.01.2003 15:11:20

Attachment Section