IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 144
Titolo Data di pubblicazione Autore(i) File
Termination of Constraint Contextual Rewriting 1-gen-2000 Armando, Alessandro; S., Ranise
SAT-Based Procedures for Temporal Reasoning 1-gen-2000 Armando, Alessandro; C., Castellini; Giunchiglia, Enrico
System Description: RDL Rewrite and Decision procedure Laboratory 1-gen-2001 Armando, Alessandro; L., Compagna; S., Ranise
A Superposition Based Methodology to Design Satisfiability Decision Procedures 1-gen-2001 Armando, Alessandro; Ranise, S.; Rusinowitch, M.
Towards Mathematical Agents -- Combining MathWeb-SB and LBA 1-gen-2001 Zimmer, J.; Armando, Alessandro; Giromini, C.
Uniform Derivation of Decision Procedures by Superposition 1-gen-2001 Armando, Alessandro; S., Ranise; M., Rusinowitch
The Phase Transition of the Linear Inequalities Problem 1-gen-2001 Armando, Alessandro; F., Peccia; S., Ranise
Maple's evaluation process as constraint contextual rewriting 1-gen-2001 Armando, Alessandro; C., Ballarin
Communication Protocols for Mathematical Services based on KQML and OMRS 1-gen-2001 Armando, Alessandro; Kohlhase, M.; Ranise, S.
The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics 1-gen-2001 Armando, Alessandro; Coglio, A.; Giunchiglia, F.; Ranise, S.
Special Issue of the Journal of Symbolic Computation onCalculemus-99: Integrating Computation and Deduction - Foreword of the Guest Editors 1-gen-2001 Armando, Alessandro; T., Jabelean
Interfacing Computer Algebra and Deduction Systems via the Logic Broker Architecture 1-gen-2001 Armando, Alessandro; Zini, D.
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic 1-gen-2001 Armando, Alessandro; 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, S.; Rusinowitch, M.
Symbolic Model-Checking of Linear Programs 1-gen-2002 Armando, Alessandro; DE LUCIA, P.
The AVISS Security Protocol Analysis Tool 1-gen-2002 Armando, Alessandro; Basin, D.; Bouallagui, M.; Chevalier, Y.; Compagna, L.; Moedersheim, S.; Rusinowitch, M.; Turuani, M.; Vigano`, L.; Vigneron, L.
Frontiers of Combining Systems4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8–10, 2002 ProceedingsLNCS 2309/2002 1-gen-2002 Armando, Alessandro
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning 1-gen-2002 Armando, Alessandro; Compagna, Luca
Incorporating Decision Procedures in Implicit Induction 1-gen-2002 Armando, Alessandro; M., Rusinowitch; S., Stratulat
Constraint Contextual Rewriting 1-gen-2003 Armando, Alessandro; Ranise, S.
Mostrati risultati da 21 a 40 di 144
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