BONACINA, Maria Paola
BONACINA, Maria Paola
DIPARTIMENTO DI INFORMATICA
A category theory approach to completion-based theorem proving strategies (Abstract)
1991-01-01 Bonacina, Maria Paola; Jieh, Hsiang
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 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
1997-01-01 Bonacina, Maria Paola
A note on the analysis of theorem-proving strategies
1996-01-01 Bonacina, Maria Paola
A system for distributed simplification-based theorem proving
1992-01-01 Bonacina, Maria Paola; Jieh, Hsiang
A taxonomy of parallel strategies for deduction
2000-01-01 Bonacina, Maria Paola
A taxonomy of theorem-proving strategies
1999-01-01 Bonacina, Maria Paola
Abstract canonical inference
2007-01-01 Bonacina, Maria Paola; Nachum, Dershowitz
Advances in first-order theorem proving
2000-01-01 Bonacina, Maria Paola; Ulrich, Furbach
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
Another term rewriting based proof of the `non-obvious' theorem
1989-01-01 Fabio, Baj; Bonacina, Maria Paola; Massimo, Bruschi; Antonella, Zanzi
Automated Deduction - CADE-24 Proceedings of the Twenty-Fourth International Conference on Automated Deduction
2013-01-01 Bonacina, Maria Paola
Automated proofs in Lukasiewicz logic
1989-01-01 Siva, Anantharaman; Bonacina, Maria Paola
Automated Reasoning
2006-01-01 Bonacina, Maria Paola; Alberto, Martelli
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune
2013-01-01 Bonacina, Maria Paola; Mark E., Stickel
Automated reasoning for explainable artificial intelligence
2017-01-01 Bonacina, Maria Paola
Big proof engines as little proof engines: new results on rewrite-based satisfiability procedures
2005-01-01 Alessandro, Armando; Bonacina, Maria Paola; Silvio, Ranise; Stephan, Schulz