Searching for authors named "Carla Piazza" – sorted by Relevance.
36 documents found, showing 1 through 10.
Next 10 →
-
The Subgraph Bisimulation Problem and its Complexity
- … The Subgraph Bisimulation Problem and its Complexity Agostino Dovier Carla Piazza Abstract In this paper we…
- Cited by 2 (1 self) – Add To MetaCart
-
The subgraph bisimulation problem
- …The Subgraph Bisimulation Problem Agostino Dovier Carla Piazza Abstract We study the complexity…
- Cited by 2 (1 self) – Add To MetaCart
-
Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory
- …Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory Carla…
- Cited by 2 (2 self) – Add To MetaCart
-
Ackermann Encoding, Bisimulations, and OBDD's
- …ACKERMANN ENCODING, BISIMULATIONS, AND OBDD'S CARLA PIAZZA AND ALBERTO POLICRITI DIPARTIMENTO DI…
- Cited by 2 (2 self) – Add To MetaCart
-
A Fast Bisimulation Algorithm
- …A Fast Bisimulation Algorithm Agostino Dovier 1 , Carla Piazza 2 , and Alberto Policriti 2 1…
- Cited by 20 (13 self) – Add To MetaCart
-
Agostino Dovier
- …Multiset Constraints and P Systems Agostino Dovier ♭ , Carla Piazza ♮ , and Gianfranco Rossi…
- Add To MetaCart
-
Fast (Hyper) Set Equivalence
- … Le Grazie, 37134 Verona (Italy). dovier@(email omitted); Carla Piazza Alberto Policriti Dip. di…
- Add To MetaCart
-
A Fast Bisimulation Algorithm: tests
- …A Fast Bisimulation Algorithm: tests Agostino Dovier 1 , Carla Piazza 2 , Alberto Policriti 2…
- Add To MetaCart
-
Secure Contexts (Extended Abstract)
- …Secure Contexts (Extended abstract) ? Annalisa Bossi, Damiano Macedonio, Carla Piazza, and Sabina…
- Add To MetaCart
-
Simulating Polyadic Modal Logics by Monadic Ones
- …Simulating polyadic modal logics by monadic ones George Goguadze Carla Piazza y Yde Venema z…
- Cited by 6 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
