Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-I-2001-2-006

Proceeding of the Second International Workshop of the Implementation of Logics

de Nivelle, Hans and Schulz, Stephan

MPI-I-2001-2-006. November 2001, ? 102 pages. | Status: available - back from printing | Next --> Entry | Previous <-- Entry

Abstract in LaTeX format:
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.
Acknowledgement:
References to related material:

To download this research report, please select the type of document that fits best your needs.Attachement Size(s):
2001-2-006.pdf2001-2-006.pdfproceedings.ps.gz362 KBytes; 69378 KBytes
Please note: If you don't have a viewer for PostScript on your platform, try to install GhostScript and GhostView
URL to this document: http://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},
}