A Unified Analytical Foundation for Constraint Handling Rules
ePUB
12,2 MB
DRM: hartes DRM
ISBN-13: 9783738669435
Verlag: Books on Demand
Erscheinungsdatum: 23.12.2014
Sprache: Englisch
erhältlich als:
inkl. MwSt.
sofort verfügbar als Download
Um dieses DRM-geschützte E-Book lesen zu können, müssen Sie eine Adobe ID besitzen und eine Lesesoftware verwenden, die Adobe DRM verarbeitet. Mehr Informationen
Ihr eigenes Buch!
Werden Sie Autor*in mit BoD und erfüllen Sie sich den Traum vom eigenen Buch und E-Book.
Mehr erfahrenIn this thesis, we introduce several concepts to amend for these short- comings. Firstly, we propose an unusually concise formulation of the two most important semantic interpretations of CHR. Secondly, we analyse the relationship between the major diverging interpretations of CHR. Finally, we found CHR on intuitionistic linear logic.
Thom Frühwirth (Hrsg.)
Thom Frühwirth is a professor of Computer Science at the University of Ulm, Germany. His research areas are Computational Logic and Constraint Programming. He is the designer of the logical formalism and programming language Constraint Handling Rules.
http://www.constraint-handling-rules.org
Uwe Schöning (Hrsg.)
The editor Uwe Schöning is a professor of Theoretical Computer Science at the University of Ulm, Germany. He introduced the low and high hierarchies to structural complexity theory to describe the internal structure of the complexity class NP. Later, he invented a much-cited SAT-Algorithm. He has also authored several popular textbooks on Logic in Computer Science.
Es sind momentan noch keine Pressestimmen vorhanden.