Searching for authors named "Alessandro Armando" – sorted by Relevance.
38 documents found, showing 1 through 10.
Next 10 →
-
Towards interoperable mechanized reasoning systems: the logic broker architecture
- …Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture £ Alessandro…
- Cited by 13 (1 self) – Add To MetaCart
-
Model checking linear programs with arrays
- …Model Checking Linear Programs with Arrays Alessandro Armando 1 AI-Lab, DIST, Università di Genova…
- Cited by 5 (1 self) – Add To MetaCart
-
From Integrated Reasoning Specialists to "Plug-and-Play" Reasoning Components
- …-and-Play" Reasoning Components ? Alessandro Armando armando@(email omitted); Silvio Ranise silvio…
- Cited by 6 (2 self) – Add To MetaCart
-
Constraint Contextual Rewriting
- …Constraint Contextual Rewriting Alessandro Armando y DIST, Universita di Genova & LORIA…
- Cited by 15 (6 self) – Add To MetaCart
-
A Practical Extension Mechanism for Decision Procedures
- …A Practical Extension Mechanism for Decision Procedures Alessandro Armando Silvio Ranise DIST…
- Cited by 6 (2 self) – Add To MetaCart
-
Maple's Evaluation Process as Constraint Contextual Rewriting
- …Maple's Evaluation Process as Constraint Contextual Rewriting Alessandro Armando DIST…
- Cited by 3 (0 self) – Add To MetaCart
-
Backward Logic Tactics
- … Backward logic tactics Alessandro Armando September 1996 Technical Report MRG/DIST # 96…
- Add To MetaCart
-
Constraint Contextual Rewriting
- …Constraint Contextual Rewriting Alessandro Armando y DIST, Universita di Genova & LORIA…
- Add To MetaCart
-
Automating the Synthesis of Decision Procedures
- …Automating the synthesis of decision procedures Alessandro Armando Jason Gallagher Alan Smaill…
- Add To MetaCart
-
Structured Proof Procedures
- … telematica Structured proof procedures Enrico Giunchiglia Alessandro Armando Paolo Pecchiari Mechanized…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
