( en | de | ru )

 

Disambiguierung von "Bueno, Francisco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics.

, , , und . ALP, Volume 850 von Lecture Notes in Computer Science, Seite 114-132. Springer, (1994)

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.

Odavia Bueno Díaz

Juliana Bueno

Renato Bueno

Claudia Patricia Bueno Castellanos

Juan David Bueno Toro

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Independent And-Parallelism in CLP., , und . PLILP, Volume 1140 von Lecture Notes in Computer Science, Seite 77-91. Springer, (1996)An Algebraic Approach to Sharing Analysis of Logic Programs., , und . SAS, Volume 1302 von Lecture Notes in Computer Science, Seite 68-82. Springer, (1997)A Framework for Assertion-Based Debugging in Constraint Logic Programming., , und . CP, Volume 1520 von Lecture Notes in Computer Science, Seite 472. Springer, (1998)Set-Sharing Is Not Always Redundant for Pair-Sharing., und . FLOPS, Volume 2998 von Lecture Notes in Computer Science, Seite 117-131. Springer, (2004)A Generic Processor for Program Validation and Debugging., , und . Analysis and Visualization Tools for Constraint Programming, Volume 1870 von Lecture Notes in Computer Science, Seite 63-107. Springer, (2000)The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems., , , , , , und . APPIA-GULP-PRODE, Seite 105-110. (1996)Sharing Analysis for Logic Programs using Set Logic Programs., , und . APPIA-GULP-PRODE, Seite 29-40. (1996)Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging., , und . The Logic Programming Paradigm, Springer, (1999)An Automatic Translation Scheme from Prolog to the Andorra Kernel Language., und . FGCS, Seite 759-769. IOS Press, (1992)Sized Type Analysis for Logic Programs., , , und . Theory Pract. Log. Program., (2013)