BONACINA, Maria Paola
BONACINA, Maria Paola
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.016 secondi).
A model-constructing framework for theory combination
2016-01-01 Bonacina, Maria Paola; Graham Lengrand, Stéphane; Shankar, Natarajan
A note on the analysis of theorem-proving strategies
1996-01-01 Bonacina, Maria Paola
Automated proofs in Lukasiewicz logic
1989-01-01 Siva, Anantharaman; Bonacina, Maria Paola
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures
2006-01-01 Bonacina, Maria Paola; Silvio, Ghilardi; Enrica, Nicolini; Silvio, Ranise; Daniele, Zucchelli
Generic theorem proving for decision procedures
2006-01-01 Bonacina, Maria Paola; Mnacho, Echenim
Petri nets for knowledge representation
1987-01-01 Bonacina, Maria Paola
SBR3: a refutational prover for equational theorems
1990-01-01 Siva, Anantharaman; Nirina, Andrianarivelo; Bonacina, Maria Paola; Jieh, Hsiang
Semantically-guided goal-sensitive theorem proving
2014-01-01 Bonacina, Maria Paola; David A., Plaisted
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A model-constructing framework for theory combination | 1-gen-2016 | Bonacina, Maria Paola; Graham Lengrand, Stéphane; Shankar, Natarajan | |
A note on the analysis of theorem-proving strategies | 1-gen-1996 | Bonacina, Maria Paola | |
Automated proofs in Lukasiewicz logic | 1-gen-1989 | Siva, Anantharaman; Bonacina, Maria Paola | |
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures | 1-gen-2006 | Bonacina, Maria Paola; Silvio, Ghilardi; Enrica, Nicolini; Silvio, Ranise; Daniele, Zucchelli | |
Generic theorem proving for decision procedures | 1-gen-2006 | Bonacina, Maria Paola; Mnacho, Echenim | |
Petri nets for knowledge representation | 1-gen-1987 | Bonacina, Maria Paola | |
SBR3: a refutational prover for equational theorems | 1-gen-1990 | Siva, Anantharaman; Nirina, Andrianarivelo; Bonacina, Maria Paola; Jieh, Hsiang | |
Semantically-guided goal-sensitive theorem proving | 1-gen-2014 | Bonacina, Maria Paola; David A., Plaisted |