Sfoglia per Rivista
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics
2021-01-01 Martini, Simone; Masini, Andrea; Zorzi, Margherita
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison
2018-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Making Abstract Domains Condensing
2005-01-01 Giacobazzi, Roberto; F., Ranzato; F., Scozzari
New results on rewrite-based satisfiability procedures
2009-01-01 Alessandro, Armando; Bonacina, Maria Paola; Silvio, Ranise; Stephan, Schulz
Proofs, tests and continuation passing style
2009-01-01 S., Guerrini; Masini, Andrea
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics | 1-gen-2021 | Martini, Simone; Masini, Andrea; Zorzi, Margherita | |
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison | 1-gen-2018 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro | |
Making Abstract Domains Condensing | 1-gen-2005 | Giacobazzi, Roberto; F., Ranzato; F., Scozzari | |
New results on rewrite-based satisfiability procedures | 1-gen-2009 | Alessandro, Armando; Bonacina, Maria Paola; Silvio, Ranise; Stephan, Schulz | |
Proofs, tests and continuation passing style | 1-gen-2009 | S., Guerrini; Masini, Andrea |
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