BONACINA, Maria Paola
BONACINA, Maria Paola
DIPARTIMENTO DI INFORMATICA
A taxonomy of theorem-proving strategies
1999-01-01 Bonacina, Maria Paola
An application of automated equational reasoning to many-valued logic
1991-01-01 Siva, Anantharaman; Bonacina, Maria Paola
Analysis of distributed-search contraction-based strategies
1998-01-01 Bonacina, Maria Paola
Canonical ground Horn theories
2013-01-01 Bonacina, Maria Paola; Nachum, Dershowitz
Canonical inference for implicational systems
2008-01-01 Bonacina, Maria Paola; Nachum, Dershowitz
Combination of distributed search and multi-search in Peers-mcd.d
2001-01-01 Bonacina, Maria Paola
Completion procedures as semidecision procedures
1991-01-01 Bonacina, Maria Paola; Jieh, Hsiang
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
Deduzione automatica
2018-01-01 Bonacina, Maria Paola
Distributed deduction by Clause-Diffusion: the Aquarius prover
1993-01-01 Bonacina, Maria Paola; Jieh, Hsiang
Distributed theorem proving by Peers
1994-01-01 Bonacina, Maria Paola; William W., Mccune
KBlab: an equational theorem prover for the Macintosh
1989-01-01 Bonacina, Maria Paola; Giancarlo, Sanna
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal
2005-01-01 Alessandro, Armando; Bonacina, Maria Paola; Silvio, Ranise; Stephan, Schulz
On deciding satisfiability by DPLL(Gamma+T) and unsound theorem proving
2009-01-01 Bonacina, Maria Paola; Christopher A., Lynch; Leonardo de, Moura
On fairness in distributed automated deduction
1993-01-01 Bonacina, Maria Paola; Jieh, Hsiang
On fairness of completion-based theorem proving strategies
1991-01-01 Bonacina, Maria Paola; Jieh, Hsiang
On first-order model-based reasoning
2015-01-01 Bonacina, Maria Paola; Furbach, Ulrich; Sofronie Stokkermans, Viorica
On interpolation in decision procedures
2011-01-01 Bonacina, Maria Paola; Moa, Johansson
On semantic resolution with lemmaizing and contraction
1996-01-01 Bonacina, Maria Paola; Jieh, Hsiang
Parallel theorem proving
2018-01-01 Bonacina, Maria Paola
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A taxonomy of theorem-proving strategies | 1-gen-1999 | Bonacina, Maria Paola | |
| An application of automated equational reasoning to many-valued logic | 1-gen-1991 | Siva, Anantharaman; Bonacina, Maria Paola | |
| Analysis of distributed-search contraction-based strategies | 1-gen-1998 | Bonacina, Maria Paola | |
| Canonical ground Horn theories | 1-gen-2013 | Bonacina, Maria Paola; Nachum, Dershowitz | |
| Canonical inference for implicational systems | 1-gen-2008 | Bonacina, Maria Paola; Nachum, Dershowitz | |
| Combination of distributed search and multi-search in Peers-mcd.d | 1-gen-2001 | Bonacina, Maria Paola | |
| Completion procedures as semidecision procedures | 1-gen-1991 | Bonacina, Maria Paola; Jieh, Hsiang | |
| 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 | |
| Deduzione automatica | 1-gen-2018 | Bonacina, Maria Paola | |
| Distributed deduction by Clause-Diffusion: the Aquarius prover | 1-gen-1993 | Bonacina, Maria Paola; Jieh, Hsiang | |
| Distributed theorem proving by Peers | 1-gen-1994 | Bonacina, Maria Paola; William W., Mccune | |
| KBlab: an equational theorem prover for the Macintosh | 1-gen-1989 | Bonacina, Maria Paola; Giancarlo, Sanna | |
| On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal | 1-gen-2005 | Alessandro, Armando; Bonacina, Maria Paola; Silvio, Ranise; Stephan, Schulz | |
| On deciding satisfiability by DPLL(Gamma+T) and unsound theorem proving | 1-gen-2009 | Bonacina, Maria Paola; Christopher A., Lynch; Leonardo de, Moura | |
| On fairness in distributed automated deduction | 1-gen-1993 | Bonacina, Maria Paola; Jieh, Hsiang | |
| On fairness of completion-based theorem proving strategies | 1-gen-1991 | Bonacina, Maria Paola; Jieh, Hsiang | |
| On first-order model-based reasoning | 1-gen-2015 | Bonacina, Maria Paola; Furbach, Ulrich; Sofronie Stokkermans, Viorica | |
| On interpolation in decision procedures | 1-gen-2011 | Bonacina, Maria Paola; Moa, Johansson | |
| On semantic resolution with lemmaizing and contraction | 1-gen-1996 | Bonacina, Maria Paola; Jieh, Hsiang | |
| Parallel theorem proving | 1-gen-2018 | Bonacina, Maria Paola |