Publications: Proceedings: "Proceedings of the 2nd International Workshop on the Implementation of Logics"

Proceedings Volume
@Proceedings
Tagungsband, Workshopband

Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

Options:

Goto entry point

Author, Editor

Editor(s):

de Nivelle, Hans
Schulz, Stephan

dblp
dblp

Not MPII Editor(s):

Schulz, Stephan

BibTeX citekey*:

deNivelleSchulz2001

Language:

English

Title, Conference

Title*:	Proceedings of the 2nd International Workshop on the Implementation of Logics

Event Address*:	Havanna, Cuba	Conference URL:	http://wwwjessen.informatik.tu-muenchen.de/~schulz/WORK/lpar-ws.html
Event Start Date:	8 December 2001	Event End Date:	Incorrect data type for operator or @Function: Time/Date expected Incorrect data type for operator or @Function: Time/Date expected Incorrect data type for operator or @Function: Time/Date expected
Event Date* (no longer used):	~~-- December, 8th, 2001~~	Organization:

Publisher

Name*:	Max-Planck-Institut für Informatik	Publisher's URL:	http://www.mpi-sb.mpg.de/

Address*:	Saarbrücken, Germany	Publishing Year*:	2001

Vol, No, pp., Year

Series:

Research Report

Volume:		Number:	MPI-I-2001-2-006
Month:		Pages*:	102
ISBN:	0946-011X	VG Wort Pages:	102
ISSN:

Abstract, Links, ©

Note:
LaTeX Abstract:
Categories / Keywords:
HyperLinks / References / URLs:
Copyright Message:
Personal Comments:
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

BibTeX Entry:

@PROCEEDINGS{deNivelleSchulz2001,
EDITOR = {de Nivelle, Hans and Schulz, Stephan},
TITLE = {Proceedings of the 2nd International Workshop on the Implementation of Logics},
PUBLISHER = {Max-Planck-Institut für Informatik},
YEAR = {2001},
NUMBER = {MPI-I-2001-2-006},
PAGES = {102},
SERIES = {Research Report},
ADDRESS = {Havanna, Cuba},
ISBN = {0946-011X},
}

Entry last modified by Christine Kiesel, 03/12/2010

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

	Editor(s) Uwe Brahm	Created 03/22/2002 03:30:39 PM
Revisions 10. 9. 8. 7. 6.	Editor(s) Christine Kiesel Christine Kiesel Christine Kiesel Christine Kiesel Christine Kiesel	Edit Dates 01.09.2003 17:21:07 01.09.2003 14:44:33 12.08.2003 17:43:08 31.07.2003 14:50:59 31.07.2003 14:07:41

Attachment Section