BONACINA, Maria Paola

BONACINA, Maria Paola  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.011 secondi).
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