Searching for authors named "Andrea Formisano" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
T-resolution: Refinements and Model Elimination II
- …T -resolution: Renements and Model Elimination II Andrea Formisano Dipartimento di Matematica…
- Add To MetaCart
-
Unified View of Completeness and Compactness for Theory-Based Variants of Resolution
- …Unied view of completeness and compactness for theory-based variants of resolution Andrea…
- Add To MetaCart
-
An Equational Re-Engineering of Set Theories
- …An equational re-engineering of set theories Andrea Formisano y Eugenio Omodeo z August…
- Cited by 6 (6 self) – Add To MetaCart
-
Conditional preferences in P-RASP
- …Conditional preferences in P-RASP Stefania Costantini 1 and Andrea Formisano 2 1 Università di L…
- Add To MetaCart
-
Plan of Activities on the Map Calculus
- …Plan of activities on the map calculus Andrea Formisano, Eugenio Omodeo, Marco Temperini Abstract…
- Cited by 3 (3 self) – Add To MetaCart
-
A comparison of CLP(FD) and ASP solutions to NP-complete problems
- …A comparison of CLP(FD) and ASP solutions to NP-complete problems ⋆ Agostino Dovier 1 , Andrea…
- Cited by 6 (3 self) – Add To MetaCart
-
Three-variable statements of set-pairing
- …Three-variable statements of set-pairing ∗ Andrea Formisano † Eugenio G. Omodeo ‡ Alberto…
- Cited by 1 (0 self) – Add To MetaCart
-
Goals and benchmarks for automated map reasoning
- …Goals and benchmarks for automated map reasoning ∗ Andrea Formisano † Eugenio G. Omodeo ‡ Marco…
- Cited by 5 (4 self) – Add To MetaCart
-
Andrea Formisano
- … Le Grazie 3, 37134 VERONA (I) dovier@(email omitted); Andrea Formisano Univ. di Roma "La…
- Add To MetaCart
-
Compiling Dyadic First-Order Specifications into Map Calculus, by Folding Quantifiers into Map Composition
- …@(email omitted); Andrea Formisano Dipartimento di Matematica Pura ed Applicata, Universita di L'Aquila formisan…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
