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

Publications Master Template :: Thesis :: Barth, Peter


Publications Master Template
Show all entries of:this year (2019)last year (2018)two years ago (2017)Open in Notes
Action:login to update

Thesis - Doctoral dissertation | @PhdThesis | Doktorarbeit


Author
Author(s)*:Barth, Peter
BibTeX citekey*:Barth-Diss
Language:English

Title, School
Title*:Logic-based 0-1 Constraint Solving in Constraint Logic Programming
School:Fachbereich Informatik, Universität des Saarlandes, Germany
Type of Thesis*:Doctoral dissertation
Month:February
Year:1995


Note, Abstract, Copyright
HyperLinks / References / URLs:http://www.mpi-sb.mpg.de/papers/phd\_theses

Referees, Status, Dates
Supervisor:Harald Ganzinger
Status:Completed
Date Kolloquium:28 February 1995
Chair Kolloquium:Petersen

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

BibTeX Entry:

@PHDTHESIS{Barth-Diss,
AUTHOR = {Barth, Peter},
TITLE = {Logic-based 0-1 Constraint Solving in Constraint Logic Programming},
SCHOOL = {Fachbereich Informatik, Universit{\"a}t des Saarlandes, Germany},
YEAR = {1995},
TYPE = {Doctoral dissertation}
PAGES = {187},
MONTH = {February},
}



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)
Uwe Brahm
Created
01/14/1995 06:53:30 PM
Revisions
15.
14.
13.
12.
11.
Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Edit Dates
02/12/96 09:05:51
02/12/96 08:57:53
02/12/96 08:53:07
29/03/96 11:24:20
14/12/95 10:40:54