( en | de | ru )

 

Disambiguierung von "Villanueva, Alicia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Defining Datalog in Rewriting Logic.

, , , und . LOPSTR, Volume 6037 von Lecture Notes in Computer Science, Seite 188-204. Springer, (2009)

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.

Alicia Kühl

Liliana Villanueva

Darío Villanueva

Alicia Avellana

Alicia Díaz

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Verification of Websites., , und . WWV, Volume 200 von Electronic Notes in Theoretical Computer Science, Seite 103-118. Elsevier, (2007)A Framework for Timed Concurrent Constraint Programming with External Functions., , und . PROLE, Volume 188 von Electronic Notes in Theoretical Computer Science, Seite 143-155. Elsevier, (2006)Modeling concurrent systems specified in a temporal concurrent constraint language-I., , und . APPIA-GULP-PRODE, Volume 48 von Electronic Notes in Theoretical Computer Science, Seite 197-210. Elsevier, (2001)Abstract Diagnosis for tccp using a Linear Temporal Logic., , und . Theory Pract. Log. Program., 14 (4-5): 787-801 (2014)Model checking for the concurrent constraint paradigm.. AI Commun., 17 (2): 93-94 (2004)Automatic Verification of Timed Concurrent Constraint Programs, und . CoRR, (2005)Abstract Contract Synthesis and Verification in the Symbolic K Framework., , und . Fundam. Informaticae, 177 (3-4): 235-273 (2020)Bridging the Gap between Two Concurrent Constraint Languages., und . WFLP, Volume 6559 von Lecture Notes in Computer Science, Seite 155-173. Springer, (2010)Abstract Analysis of Universal Properties for tccp., , , und . LOPSTR, Volume 9527 von Lecture Notes in Computer Science, Seite 163-178. Springer, (2015)An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation., , , und . PROLE, Volume 206 von Electronic Notes in Theoretical Computer Science, Seite 3-21. Elsevier, (2007)