( en | de | ru )

 

Disambiguierung von "Piazza, Carla"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ACI1 Constraints.

, , , und . ICLP, Seite 573-587. MIT Press, (1999)

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.

Claudia Piazza

Sabine Carland

Paolo Piazza

Daniele Piazza

Giovanni Piazza

 

Weitere Publikationen von Autoren mit dem selben Namen

From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract)., , , und . SEBD, Seite 382-389. Esculapio Editore, (2010)Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints., , und . APPIA-GULP-PRODE, Seite 43-56. (1998)From Bisimulation to Simulation: Coarsest Partition Problems., , und . J. Autom. Reason., 31 (1): 73-103 (2003)Disunification in ACI1 Theories., , und . Constraints An Int. J., 9 (1): 35-91 (2004)Simulation as Coarsest Partition Problem., , und . TACAS, Volume 2280 von Lecture Notes in Computer Science, Seite 415-430. Springer, (2002)A Fast Bisimulation Algorithm., , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 79-90. Springer, (2001)Multiset Constraints and P Systems., , und . WMP, Volume 2235 von Lecture Notes in Computer Science, Seite 103-122. Springer, (2000)Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing., , , , und . CMSB, Volume 2602 von Lecture Notes in Computer Science, Seite 57-74. Springer, (2003)Computing strongly connected components in a linear number of symbolic steps., , und . SODA, Seite 573-582. ACM/SIAM, (2003)Directed Graph Encoding in Quantum Computing Supporting Edge-Failures., , , und . RC, Volume 13354 von Lecture Notes in Computer Science, Seite 75-92. Springer, (2022)