Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 166
Titolo Data di pubblicazione Autore(i) File
Termination of Constraint Contextual Rewriting 1-gen-2000 Armando, Alessandro; Ranise, Silvio
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic 1-gen-2001 Armando, Alessandro; Ranise, Silvio
The Control Component of Open Mechanized Reasoning Systems: Annotation and Tactics 1-gen-2001 Armando, Alessandro; Coglio, A.; Giunchiglia, F.; Ranise, Silvio
Uniform Derivation of Decision Procedures by Superposition 1-gen-2001 Armando, Alessandro; Ranise, Silvio; Rusinowitch, M.
A Superposition Based Methodology to Design Satisfiability Decision Procedures 1-gen-2001 Armando, Alessandro; Ranise, Silvio; Rusinowitch, M.
Coommunication Protocols for Mathematical Services based on KQML and OMRS 1-gen-2001 Armando A.; Kohlhase M.; Ranise S.
RDL---Rewrite and Decision procedure Laboratory 1-gen-2001 Armando A.; Compagna L.; Ranise S.
The Phase Transition of the Linear Inequalities Problem 1-gen-2001 Armando A.; Peccia F.; Ranise S.
High Performance Deduction for verification: a case study in the theory of arrays 1-gen-2002 Armando, Alessandro; Bonacina, M. P.; Sehgal, A. K.; Ranise, Silvio; Rusinowitch, M.
Scalable Automated Proving and Debugging of Set-Based Specfications 1-gen-2004 Couchot, J. F.; A., Giorgetti; D., Deharbe; Ranise, Silvio
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn 1-gen-2004 Ranise, Silvio; C., Ringeissen; D. K., Tran
Abstraction-Driven Verification of Array Programs 1-gen-2004 D., Déharbe; A., Imine; Ranise, Silvio
On Superposition-Based Satisfiability Procedures and Their Combination 1-gen-2005 H., Kirchner; Ranise, Silvio; C., Ringeissen; D. K., Tran
Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic 1-gen-2005 Ranise, Silvio; C., Ringeissen; C. G., Zarba
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal 1-gen-2005 Armando, Alessandro; Bonacina, M. P.; Ranise, Silvio; Schulz, S.
Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation 1-gen-2005 Armando, Alessandro; Compagna, L.; Ranise, Silvio
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 1-gen-2005 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi, Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto
Efficient Theory Combination via Boolean Search 1-gen-2005 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T., Antero Junttila; Ranise, Silvio; Rossum Peter, Van; Sebastiani, Roberto
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 1-gen-2005 Bozzano, Marco; R., Brutomesso; Cimatti, Alessandro; T. A., Junttila; Ranise, Silvio; Rossen Peter, Van; Sebastiani, Roberto
Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation 1-gen-2005 Armando, Alessandro; L., Compagna; Ranise, Silvio
Mostrati risultati da 1 a 20 di 166
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile