License
When quoting this document, please refer to the following
DOI: 10.4230/DagSemRep.24
URN: urn:nbn:de:0030-drops-149127
URL: https://drops.dagstuhl.de/opus/volltexte/2021/14912/
Comon, Hubert ;
Ganzinger, Harald ;
Kirchner, Claude ;
Kirchner, Hélène ;
Lassez, Jean-Louis ;
Smolka, Gert
Weitere Beteiligte (Hrsg. etc.): Hubert Comon and Harald Ganzinger and Claude Kirchner and Hélène Kirchner and Jean-Louis Lassez and Gert Smolka
Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143)
BibTeX - Entry
@TechReport{comon_et_al:DagSemRep.24,
author = {Comon, Hubert and Ganzinger, Harald and Kirchner, Claude and Kirchner, H\'{e}l\`{e}ne and Lassez, Jean-Louis and Smolka, Gert},
title = {{Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143)}},
pages = {1--24},
ISSN = {1619-0203},
year = {1992},
type = {Dagstuhl Seminar Report},
number = {24},
institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/14912},
URN = {urn:nbn:de:0030-drops-149127},
doi = {10.4230/DagSemRep.24},
}
Collection: |
|
Dagstuhl Seminar Reports |
Issue Date: |
|
2021 |
Date of publication: |
|
01.06.1992 |