( en | de | ru )

 

Disambiguierung von "Hortalá-González, Maria Teresa"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Constraint Functional Logic Programming over Finite Domains

, , , und . CoRR, (2006)

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.

Maria Teresa González Garrido

María González-Huici

Maria Elizabeth González

María Corredera González

María Ángeles González-Carmona

 

Weitere Publikationen von Autoren mit dem selben Namen

On the cooperation of the constraint domains , R, and F in CFLP., , , , , und . Theory Pract. Log. Program., 9 (4): 415-527 (2009)Real Constraints within a Functional Logic Language., , , und . APPIA-GULP-PRODE, Seite 451-464. (1996)Solving Combinatorial Problems with a Constraint Functional Logic Language., , und . PADL, Volume 2562 von Lecture Notes in Computer Science, Seite 320-338. Springer, (2003)Polymorphic Types in Functional Logic Programming., , und . J. Funct. Log. Program., (2001)A Functional Logic Language with Finite Domain Constraints., , und . APPIA-GULP-PRODE, Seite 7-22. Facultad de Informática, Universidad Politécnica de Madrid, (2002)Constraint functional logic programming over finite domains., , , und . Theory Pract. Log. Program., 7 (5): 537-582 (2007)Semantics and Types in Functional Logic Programming., , und . Fuji International Symposium on Functional and Logic Programming, Volume 1722 von Lecture Notes in Computer Science, Seite 1-20. Springer, (1999)An Approach to Declarative Programming Based on a Rewriting Logic., , , und . J. Log. Program., 40 (1): 47-87 (1999)Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach., und . Theor. Comput. Sci., 68 (3): 277-302 (1989)Cooperation of constraint domains in the TOY system., , , , , und . PPDP, Seite 258-268. ACM, (2008)