Bücher

Petra Hofstedt, Sven Löffler: Constraints.
Book chapter in G. Görz, U. Schmid, Tanya Braun (Herausgeber):
Handbuch der Künstlichen Intelligenz. De Gruyter. 2021.

Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, DietmarSeipel (Hrsg.):
Declarative Programming and Knowledge Management - DECLARE 2019,Unifying INAP, WLP, and WFLP. 
Revised Selected Papers. Lecture Notes inComputer Science (LNCS) 12057, Springer 2020,
ISBN 978-3-030-46713-5.

Douglas W. Cunningham, Petra Hofstedt, Klaus Meer, Ingo Schmitt (Hrsg):
45. Jahrestagung der Gesellschaft für Informatik,
Informatik 2015, Informatik, Energie und Umwelt, 28. September - 2. Oktober 2015 in Cottbus, Deutschland. LNI 246, GI 2015.

Petra Hofstedt. Constraints.
Book chapter in G. Görz, J. Schneeberger, U. Schmid (Herausgeber): Handbuch der Künstlichen Intelligenz.
Oldenbourg Verlag.  2013.

Petra Hofstedt
Multiparadigm Constraint Programming Languages.
ISBN 978-3-642-17330-1. Springer-Verlag. 2011 (link zum Buch)

Hofstedt, P., Wolf, A.
Einführung in die Constraint-Programmierung
ISBN 3-540-23184-6. Springer-Verlag. 2007 (link zum Buch)

Pepper, P., Hofstedt, P.
Funktionale Programmierung: Sprachdesign und Programmiertechnik
ISBN 3-540-20959-X. Springer-Verlag. 2006 (link zum Buch)