( en | de | ru )

 

Disambiguierung von "Piazza, Carla"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Rank and simulation: the well-founded case.

, , und . J. Log. Comput., 25 (6): 1331-1349 (2015)

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

Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints., , und . APPIA-GULP-PRODE, Seite 43-56. (1998)From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract)., , , und . SEBD, Seite 382-389. Esculapio Editore, (2010)From Bisimulation to Simulation: Coarsest Partition Problems., , und . J. Autom. Reason., 31 (1): 73-103 (2003)Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE., , , und . IEEE ACM Trans. Comput. Biol. Bioinform., 21 (1): 106-119 (Januar 2024)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)A Fast Bisimulation Algorithm., , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 79-90. Springer, (2001)Simulation as Coarsest Partition Problem., , und . TACAS, Volume 2280 von Lecture Notes in Computer Science, Seite 415-430. Springer, (2002)Computing strongly connected components in a linear number of symbolic steps., , und . SODA, Seite 573-582. ACM/SIAM, (2003)Disunification in ACI1 Theories., , und . Constraints An Int. J., 9 (1): 35-91 (2004)