BONACINA, Maria Paola

BONACINA, Maria Paola  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 117 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autore(i) File
A note on the analysis of theorem-proving strategies 1-gen-1997 Bonacina, Maria Paola
A note on the analysis of theorem-proving strategies 1-gen-1996 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
L'algoritmo di Knuth-Bendix 1-gen-1986 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
An application of automated equational reasoning to many-valued logic 1-gen-1991 Siva, Anantharaman; Bonacina, Maria Paola
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
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
A category theory approach to completion-based theorem proving strategies 1-gen-1991 Bonacina, Maria Paola; Jieh, Hsiang
A category-theoretic treatment of automated theorem proving 1-gen-1996 Bonacina, Maria Paola; Jieh, Hsiang
CDSAT for nondisjoint theories with shared predicates: arrays with abstract length 1-gen-2022 Bonacina, Maria Paola; Graham-Lengrand, Stephane; Shankar, Natarajan
The Clause-Diffusion methodology for distributed deduction 1-gen-1995 Bonacina, Maria Paola; Jieh, Hsiang