MPI-I-2001-2-006
Proceeding of the Second International Workshop of the Implementation of Logics
de Nivelle, Hans and Schulz, Stephan
November 2001, ? 102 pages.
.
Status: available - back from printing
This report contains the papers that were
accepted for presentation at the Second International
Workshop on the Implementation of Logics. The workshop
took place in Havana, Cuba on December 8th 2001 in
conjunction with the 8th International Conference
on Logic for Programming, Artificial Intelligence and Reasoning.
(LPAR~2001)
All contributions were reviewed by an international programm
committee, whose names can be found elsewhere in this volume.
-
2001-2-006.pdf
- Attachement: proceedings.ps.gz (362 KBytes); 2001-2-006.pdf (69378 KBytes)
URL to this document: https://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/2001-2-006
BibTeX
@TECHREPORT{NivelleSchulz2001,
AUTHOR = {de Nivelle, Hans and Schulz, Stephan},
TITLE = {Proceeding of the Second International Workshop of the Implementation of Logics},
TYPE = {Research Report},
INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
ADDRESS = {Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany},
NUMBER = {MPI-I-2001-2-006},
MONTH = {November},
YEAR = {2001},
ISSN = {0946-011X},
}