Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Integrating Cardinality Constraints into Constraint Logic Programming with Sets., und . Theory Pract. Log. Program., 23 (2): 468-502 (März 2023)Solving Systems of Equations over Hypersets., , , und . GULP-PRODE (1), Seite 403-417. (1994)Extensional and Intensional Sets in CLP with Intensional Negation., , , , und . ICLP Workshop on Logic Programming with Sets, (1993)Unification of Hyperset Terms., , , und . ICLP Workshop on Logic Programming with Sets, (1993)Compiling Intensional Sets in CLP., , , und . ICLP, Seite 647-661. MIT Press, (1994)log: A Logic Programming Language with Finite Sets., , , und . ICLP, Seite 111-124. MIT Press, (1991)Helping Programmers to Adopt Set-Based Specifications., , und . FMSEE&T@FM, Volume 1385 von CEUR Workshop Proceedings, Seite 3-10. CEUR-WS.org, (2015)A Subdivision Approach to the Solution of Polynomial Constraints over Finite Domains Using the Modified Bernstein Form., , und . AI*IA, Volume 10037 von Lecture Notes in Computer Science, Seite 179-191. Springer, (2016)Using Prolog for Building Frog, a Hybrid Knowledge Representation System., und . New Generation Comput., 6 (4): 361-388 (1989)Efficient Unificatioin with Infinite Terms in Logic Programming., und . FGCS, Seite 202-209. OHMSHA Ltd. Tokyo and North-Holland, (1984)