BONACINA, Maria Paola

BONACINA, Maria Paola  

DIPARTIMENTO DI INFORMATICA  

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