Searching for authors named "Silvio Ranise" – sorted by Relevance.
34 documents found, showing 1 through 10.
Next 10 →
-
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
- …-INRIA-Lorraine Silvio Ranise z DIST, Universita di Genova Abstract We are interested in the problem of integrating…
- 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
-
The SMT-LIB format: An initial proposal
- …The SMT-LIB Format: An Initial Proposal 1 Introduction Silvio Ranise 1 and Cesare Tinelli 2 1…
- Cited by 7 (0 self) – Add To MetaCart
-
Building Decision Procedures for Data StructuresUse of Superposition When the superposition-based approach works... References Equality Extensions of Equality
- … Procedures for Data Structures Silvio Ranise and Christophe Ringeissen LORIA Lecture 4 — ML-3.10 Silvio…
- Add To MetaCart
-
Light-Weight Theorem Proving for Debugging and Verifying Units of Code
- …,2 and Silvio Ranise 1 1 LORIA & INRIA-Lorraine and 2 DIMAp/UFRN {David.Deharbe, Silvio…
- Cited by 39 (20 self) – Add To MetaCart
-
The SMT-LIB standard: Version 1.2
- …The SMT-LIB Standard: Version 1.2 Silvio Ranise LORIA and INRIA-Lorraine Nancy, France ranise…
- Cited by 16 (0 self) – Add To MetaCart
-
Uniform Derivation of Decision Procedures by Superposition ⋆
- …Uniform Derivation of Decision Procedures by Superposition ⋆ Alessandro Armando 1 , Silvio Ranise…
- Add To MetaCart
-
Light-Weight Theorem Proving for Debugging and Verifying Units of Code
- …;2 and Silvio Ranise1 1 LORIA & INRIA-Lorraine & 2 DIMAp/UFRN fDavid.Deharbe, Silvio.Raniseg@(email omitted); Abstract…
- Add To MetaCart
-
Current
- …haRVey Tutorial Combining Decision Procedures: From Theory to haRVey David Déharbe, Silvio Ranise…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
