MPI-INF Logo
MPI-INF/SWS Research Reports 1991-2021

2. Number - only D2

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.pdf2001-2-006.pdfproceedings.ps.gz
  • 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

Hide details for BibTeXBibTeX
@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},
}