Proceedings Volume
@Proceedings
Tagungsband, Workshopband


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








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
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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
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
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section