Autor der Publikation

Generalised Logic Program Transformation Schemas.

, und . LOPSTR, Volume 1463 von Lecture Notes in Computer Science, Seite 49-68. Springer, (1997)

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

An Introduction to Inductive Programming, und . Artificial Intelligence Review, 29 (1): 45-62 (2008)SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications., und . LPE, Seite 9-15. Case Western Reserver University, Cleveland, (1992)On Correct Program Schemas., , und . LOPSTR, Volume 1463 von Lecture Notes in Computer Science, Seite 128-147. Springer, (1997)Generalised Logic Program Transformation Schemas., und . LOPSTR, Volume 1463 von Lecture Notes in Computer Science, Seite 49-68. Springer, (1997)Time-Series Constraints: Improvements and Application in CP and MIP Contexts., , , , , , und . CPAIOR, Volume 9676 von Lecture Notes in Computer Science, Seite 18-34. Springer, (2016)Constraint Solving on Bounded String Variables., , und . CPAIOR, Volume 9075 von Lecture Notes in Computer Science, Seite 375-392. Springer, (2015)Trace-Based Programming., und . Encyclopedia of Machine Learning, Springer, (2010)Exploring Declarative Local-Search Neighbourhoods with Constraint Programming., , , und . CP, Volume 11802 von Lecture Notes in Computer Science, Seite 37-53. Springer, (2019)A New Declarative Bias for ILP: Construction Modes., und . ILP Work-in-progress reports, Volume 35 von CEUR Workshop Proceedings, CEUR-WS.org, (2000)Generation of Implied Constraints for Automaton-Induced Decompositions., , und . ICTAI, Seite 1076-1083. IEEE Computer Society, (2013)