Searching for authors named "Agostino Dovier" – sorted by Relevance.
47 documents found, showing 1 through 10.
Next 10 →
-
A Language with Finite Sets Embedded in the CLP Scheme
- …A Language with Finite Sets embedded in the CLP-scheme Agostino Dovier Università di Pisa, Dip. di…
- Cited by 2 (1 self) – Add To MetaCart
-
Model-Checking Based Data Retrieval
- …Model-Checking Based Data Retrieval Agostino Dovier 1 and Elisa Quintarelli 2 1 Dip. di Matematica…
- Cited by 4 (3 self) – Add To MetaCart
-
A WAM-Based Implementation of a Logic Language with Sets
- …A WAM-Based Implementation of a Logic Language with Sets Agostino Dovier Dipartimento di…
- Cited by 7 (5 self) – Add To MetaCart
-
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
-
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
-
Embedding Extensional Finite Sets in CLP
- …539 Embedding extensional finite sets in CLP Agostino Dovier Università di Pisa, Dip. di…
- Cited by 24 (16 self) – Add To MetaCart
-
Fast (Hyper) Set Equivalence
- …Fast (Hyper) Set Equivalence Agostino Dovier Dip. Scientifico-Tecnologico, Univ. di Verona. Strada…
- 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
-
A Uniform Approach to Constraint-Solving for Lists, Multisets, Compact Lists, and Sets
- …A uniform approach to constraint-solving for lists, multisets, compact lists, and sets Agostino…
- Cited by 6 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
