Sfoglia per Rivista JOURNAL OF AUTOMATED REASONING
Mostrati risultati da 1 a 7 di 7
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem
1997-01-01 A., Bundy; Giunchiglia, Fausto; Villafiorita Monteleone, Adolfo; Toby, Walsh
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures
2005-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi, Junttila; Peter van, Rossum; Stephan, Schulz; Sebastiani, Roberto
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems
2001-01-01 Giunchiglia, Fausto; Paolo, Pecchiari; Carolyn, Talcott
SAT-Based Decision Procedures for Classical Modal Logics
2000-01-01 E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella
Special Issue of the Journal of Automated Reasoning on "Automated Reasoning for Security Protocol Analysis"
2006-01-01 Armando, Alessandro; Basin, D.; Cuellar, J.; Rustinowitch, M.; Viganò, L.
Special Issue of the Journal of Automated Reasoning on Selected Papers from the 4th International Joint Conference of Automated Reasoning (IJCAR 2008)
2010-01-01 Armando, Alessandro; Baumgartner, P.; Dowek, G.
The SAT-based Approach to Separation Logic
2005-01-01 Armando, Alessandro; Castellini, C.; Giunchiglia, E.; Maratea, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem | 1-gen-1997 | A., Bundy; Giunchiglia, Fausto; Villafiorita Monteleone, Adolfo; Toby, Walsh | |
| Mathsat: Tight Integration of SAT and Mathematical Decision Procedures | 1-gen-2005 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi, Junttila; Peter van, Rossum; Stephan, Schulz; Sebastiani, Roberto | |
| Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems | 1-gen-2001 | Giunchiglia, Fausto; Paolo, Pecchiari; Carolyn, Talcott | |
| SAT-Based Decision Procedures for Classical Modal Logics | 1-gen-2000 | E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella | |
| Special Issue of the Journal of Automated Reasoning on "Automated Reasoning for Security Protocol Analysis" | 1-gen-2006 | Armando, Alessandro; Basin, D.; Cuellar, J.; Rustinowitch, M.; Viganò, L. | |
| Special Issue of the Journal of Automated Reasoning on Selected Papers from the 4th International Joint Conference of Automated Reasoning (IJCAR 2008) | 1-gen-2010 | Armando, Alessandro; Baumgartner, P.; Dowek, G. | |
| The SAT-based Approach to Separation Logic | 1-gen-2005 | Armando, Alessandro; Castellini, C.; Giunchiglia, E.; Maratea, M. |
Mostrati risultati da 1 a 7 di 7
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