BONACINA, Maria Paola
BONACINA, Maria Paola
DIPARTIMENTO DI INFORMATICA
A category-theoretic treatment of automated theorem proving
1996-01-01 Bonacina, Maria Paola; Jieh, Hsiang
A model and a first analysis of distributed-search contraction-based strategies
1999-01-01 Bonacina, Maria Paola
A note on the analysis of theorem-proving strategies
1997-01-01 Bonacina, Maria Paola
A taxonomy of parallel strategies for deduction
2000-01-01 Bonacina, Maria Paola
Abstract canonical inference
2007-01-01 Bonacina, Maria Paola; Nachum, Dershowitz
Another term rewriting based proof of the `non-obvious' theorem
1989-01-01 Fabio, Baj; Bonacina, Maria Paola; Massimo, Bruschi; Antonella, Zanzi
Automated Reasoning
2006-01-01 Bonacina, Maria Paola; Alberto, Martelli
Computing: report leaps geographical barriers but stumbles over gender
2006-01-01 Pollack, Martha E; Hambrusch, Susanne E; Ellis, Carla Schlatter; Grosz, Barbara J; Hodgins, Jessica; Bajcsy, Ruzena; Brodley, Carla E; Aiello, Luigia Carlucci; Bonacina, Maria Paola; Clarke, Lori A; Hirschberg, Julia; Veloso, Manuela M; Amato, Nancy; Sonenberg, Liz; Weyuker, Elaine; Pollock, Lori; Irwin, Mary Jane; Padgham, Lin; Ryder, Barbara G; Catarci, Tiziana; Mccoy, Kathleen F; Klawe, Maria; Carberry, Sandra; Dillon, Laura; Mckeown, Kathleen; Soffa, Mary Lou
Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs
2022-01-01 Bonacina, Maria Paola; Graham-Lengrand, Stéphane; Shankar, Natarajan
Conflict-driven satisfiability for theory combination: transition system and completeness
2020-01-01 Bonacina, Maria Paola; Graham-Lengrand, Stéphane; Shankar, Natarajan
Distributed deduction by Clause-Diffusion: distributed contraction and the Aquarius prover
1995-01-01 Bonacina, Maria Paola; Jieh, Hsiang
Incompleteness of the RUE/NRF inference systems
1992-01-01 Bonacina, Maria Paola; Jieh, Hsiang
Interpolation systems for ground proofs in automated deduction: a survey
2015-01-01 Bonacina, Maria Paola; Moa, Johansson
Larry Wos - Visions of automated reasoning
2022-01-01 Beeson, Michael; Bonacina, Maria Paola; Kinyon, Michael; Sutcliffe, Geoff
New results on rewrite-based satisfiability procedures
2009-01-01 Alessandro, Armando; Bonacina, Maria Paola; Silvio, Ranise; Stephan, Schulz
On deciding satisfiability by theorem proving with speculative inferences
2011-01-01 Bonacina, Maria Paola; Christopher A., Lynch; Leonardo de, Moura
On interpolation in automated theorem proving
2015-01-01 Bonacina, Maria Paola; Moa, Johansson
On rewrite programs: semantics and relationship with Prolog
1992-01-01 Bonacina, Maria Paola; Jieh, Hsiang
On semantic resolution with lemmaizing and contraction and a formal treatment of caching
1998-01-01 Bonacina, Maria Paola; Jieh, Hsiang
On subsumption in distributed derivations
1994-01-01 Bonacina, Maria Paola; Jieh, Hsiang
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A category-theoretic treatment of automated theorem proving | 1-gen-1996 | Bonacina, Maria Paola; Jieh, Hsiang | |
| A model and a first analysis of distributed-search contraction-based strategies | 1-gen-1999 | Bonacina, Maria Paola | |
| A note on the analysis of theorem-proving strategies | 1-gen-1997 | Bonacina, Maria Paola | |
| A taxonomy of parallel strategies for deduction | 1-gen-2000 | Bonacina, Maria Paola | |
| Abstract canonical inference | 1-gen-2007 | Bonacina, Maria Paola; Nachum, Dershowitz | |
| Another term rewriting based proof of the `non-obvious' theorem | 1-gen-1989 | Fabio, Baj; Bonacina, Maria Paola; Massimo, Bruschi; Antonella, Zanzi | |
| Automated Reasoning | 1-gen-2006 | Bonacina, Maria Paola; Alberto, Martelli | |
| Computing: report leaps geographical barriers but stumbles over gender | 1-gen-2006 | Pollack, Martha E; Hambrusch, Susanne E; Ellis, Carla Schlatter; Grosz, Barbara J; Hodgins, Jessica; Bajcsy, Ruzena; Brodley, Carla E; Aiello, Luigia Carlucci; Bonacina, Maria Paola; Clarke, Lori A; Hirschberg, Julia; Veloso, Manuela M; Amato, Nancy; Sonenberg, Liz; Weyuker, Elaine; Pollock, Lori; Irwin, Mary Jane; Padgham, Lin; Ryder, Barbara G; Catarci, Tiziana; Mccoy, Kathleen F; Klawe, Maria; Carberry, Sandra; Dillon, Laura; Mckeown, Kathleen; Soffa, Mary Lou | |
| Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs | 1-gen-2022 | Bonacina, Maria Paola; Graham-Lengrand, Stéphane; Shankar, Natarajan | |
| Conflict-driven satisfiability for theory combination: transition system and completeness | 1-gen-2020 | Bonacina, Maria Paola; Graham-Lengrand, Stéphane; Shankar, Natarajan | |
| Distributed deduction by Clause-Diffusion: distributed contraction and the Aquarius prover | 1-gen-1995 | Bonacina, Maria Paola; Jieh, Hsiang | |
| Incompleteness of the RUE/NRF inference systems | 1-gen-1992 | Bonacina, Maria Paola; Jieh, Hsiang | |
| Interpolation systems for ground proofs in automated deduction: a survey | 1-gen-2015 | Bonacina, Maria Paola; Moa, Johansson | |
| Larry Wos - Visions of automated reasoning | 1-gen-2022 | Beeson, Michael; Bonacina, Maria Paola; Kinyon, Michael; Sutcliffe, Geoff | |
| New results on rewrite-based satisfiability procedures | 1-gen-2009 | Alessandro, Armando; Bonacina, Maria Paola; Silvio, Ranise; Stephan, Schulz | |
| On deciding satisfiability by theorem proving with speculative inferences | 1-gen-2011 | Bonacina, Maria Paola; Christopher A., Lynch; Leonardo de, Moura | |
| On interpolation in automated theorem proving | 1-gen-2015 | Bonacina, Maria Paola; Moa, Johansson | |
| On rewrite programs: semantics and relationship with Prolog | 1-gen-1992 | Bonacina, Maria Paola; Jieh, Hsiang | |
| On semantic resolution with lemmaizing and contraction and a formal treatment of caching | 1-gen-1998 | Bonacina, Maria Paola; Jieh, Hsiang | |
| On subsumption in distributed derivations | 1-gen-1994 | Bonacina, Maria Paola; Jieh, Hsiang |