( en | de | ru )

 

Disambiguierung von "McAloon, Ken"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Decision Procedures for Constraint Based Extensions of Datalog.

, und . WCLP, Seite 17-32. MIT Press, (1991)

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.

Ken Lau

Ken Endo

Ken Herrmann

Ken Heydolph

Ken Eckstein

 

Weitere Publikationen von Autoren mit dem selben Namen

A Constraint Sequent Calculus., und . WCLP, Seite 33-43. MIT Press, (1991)A Constraint Sequent Calculus, und . LICS, Seite 52-61. IEEE Computer Society, (1990)Constraint Logic Programming and Option Trading., , und . IEEE Expert, 2 (3): 42-50 (1987)Simplification and Elimination of Redundant Linear Arithmetic Constraints., , und . WCLP, Seite 73-87. MIT Press, (1991)Decision Procedures for Constraint Based Extensions of Datalog., und . WCLP, Seite 17-32. MIT Press, (1991)Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems., , , und . AIPS, Seite 208-213. AAAI, (1998)Stratified Interactive Knowledge Bases., und . ISMIS, Seite 408-415. North-Holland/Elsevier, (1987)Parallel Integer Goal Programming., , und . ACM Conference on Computer Science, Seite 42-47. ACM, (1995)Independence of Negative Constraints., und . TAPSOFT, Vol.1, Volume 351 von Lecture Notes in Computer Science, Seite 19-27. Springer, (1989)Efficient Parallel Algorithms for Anti-Unification and Relative Complement, , , und . LICS, Seite 112-120. IEEE Computer Society, (1988)