Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143)

Authors Hubert Comon, Harald Ganzinger, Claude Kirchner, Hélène Kirchner, Jean-Louis Lassez, Gert Smolka



PDF
Thumbnail PDF

File

DagSemRep.24.pdf
  • Filesize: 4.45 MB
  • 24 pages

Document Identifiers

Author Details

Hubert Comon
Harald Ganzinger
Claude Kirchner
Hélène Kirchner
Jean-Louis Lassez
Gert Smolka

Cite AsGet BibTex

Hubert Comon, Harald Ganzinger, Claude Kirchner, Hélène Kirchner, Jean-Louis Lassez, and Gert Smolka. Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143). Dagstuhl Seminar Report 24, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1992)
https://doi.org/10.4230/DagSemRep.24

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail