MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Ganzinger, Harald
Nieuwenhuis, Robert		dblp
dblp
Not MPG Author(s):
Nieuwenhuis, Robert
Editor(s):
Comon, Hubert
Marché, Claude
Treinen, Ralf		dblp
dblp
dblp
Not MPII Editor(s):
Comon, Hubert
Marché, Claude
Treinen, Ralf
BibTeX cite key*:
GanzingerNieuwenhuis-01-ccl
Title, Booktitle
Title*:
Constraints and Theorem Proving
2001CCL.ps.gz (165.3 KB); 2001CCL.dvi (182.48 KB)
Booktitle*:
Contraints in Computational Logics, International Summer School (CCL-99)
Event, URLs
Conference URL::
http://www.lri.fr/~ccl99/
Downloading URL:
Event Address*:
Gif-sur-Yvette, France
Language:
English
Event Date*
(no longer used):
-- September 5-8, 1999
Organization:
Event Start Date:
5 August 1999
Event End Date:
8 August 1999
Publisher
Name*:
Springer
URL:
http://www.springer.de/
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Computer Science
Volume:
2002
Number:
Month:
Pages:
159-201
Year*:
2001
VG Wort Pages:
ISBN/ISSN:
3-540-41950-0
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
This paper is a tutorial on methods
for first-order theorem proving with constraints.
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
Expert
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:
@INPROCEEDINGS{GanzingerNieuwenhuis-01-ccl,
AUTHOR = {Ganzinger, Harald and Nieuwenhuis, Robert},
 EDITOR = {Comon, Hubert and March{\'e}, Claude and Treinen, Ralf},
 TITLE = {Constraints and Theorem Proving},
 BOOKTITLE = {Contraints in Computational Logics, International Summer School (CCL-99)},
 PUBLISHER = {Springer},
 YEAR = {2001},
 VOLUME = {2002},
 PAGES = {159--201},
 SERIES = {Lecture Notes in Computer Science},
 ADDRESS = {Gif-sur-Yvette, France},
 ISBN = {3-540-41950-0},
}

Entry last modified by Christine Kiesel, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Christine Kiesel		Created
08/27/2001 06:39:23 PM
Revisions
15.
14.
13.
12.
11.		Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel		Edit Dates
01.09.2003 17:23:25
12.08.2003 17:36:49
12.08.2003 17:36:37
28.07.2003 17:46:53
28.07.2003 17:44:46

File Attachment Icon
2001CCL.ps.gz		File Attachment Icon
2001CCL.dvi