Sfoglia per Autore
L'algoritmo di Knuth-Bendix
1986-01-01 Bonacina, Maria Paola
Petri nets for knowledge representation
1987-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
KBlab: an equational theorem prover for the Macintosh
1989-01-01 Bonacina, Maria Paola; Giancarlo, Sanna
Automated proofs in Lukasiewicz logic
1989-01-01 Siva, Anantharaman; Bonacina, Maria Paola
Operational and denotational semantics of rewrite programs
1990-01-01 Bonacina, Maria Paola; Jieh, Hsiang
Sulla dimostrazione di teoremi per completamento
1990-01-01 Bonacina, Maria Paola
SBR3: a refutational prover for equational theorems
1990-01-01 Siva, Anantharaman; Nirina, Andrianarivelo; Bonacina, Maria Paola; Jieh, Hsiang
A category theory approach to completion-based theorem proving strategies (Abstract)
1991-01-01 Bonacina, Maria Paola; Jieh, Hsiang
Problems in Lukasiewicz logic
1991-01-01 Bonacina, Maria Paola
On fairness of completion-based theorem proving strategies
1991-01-01 Bonacina, Maria Paola; Jieh, Hsiang
Completion procedures as semidecision procedures
1991-01-01 Bonacina, Maria Paola; Jieh, Hsiang
An application of automated equational reasoning to many-valued logic
1991-01-01 Siva, Anantharaman; Bonacina, Maria Paola
A system for distributed simplification-based theorem proving
1992-01-01 Bonacina, Maria Paola; Jieh, Hsiang
Incompleteness of the RUE/NRF inference systems
1992-01-01 Bonacina, Maria Paola; Jieh, Hsiang
High performance simplification-based automated deduction
1992-01-01 Bonacina, Maria Paola; Jieh, Hsiang
On rewrite programs: semantics and relationship with Prolog
1992-01-01 Bonacina, Maria Paola; Jieh, Hsiang
Distributed automated deduction
1992-01-01 Bonacina, Maria Paola
Distributed deduction by Clause-Diffusion: the Aquarius prover
1993-01-01 Bonacina, Maria Paola; Jieh, Hsiang
On fairness in distributed automated deduction
1993-01-01 Bonacina, Maria Paola; Jieh, Hsiang
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
L'algoritmo di Knuth-Bendix | 1-gen-1986 | Bonacina, Maria Paola | |
Petri nets for knowledge representation | 1-gen-1987 | 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 | |
KBlab: an equational theorem prover for the Macintosh | 1-gen-1989 | Bonacina, Maria Paola; Giancarlo, Sanna | |
Automated proofs in Lukasiewicz logic | 1-gen-1989 | Siva, Anantharaman; Bonacina, Maria Paola | |
Operational and denotational semantics of rewrite programs | 1-gen-1990 | Bonacina, Maria Paola; Jieh, Hsiang | |
Sulla dimostrazione di teoremi per completamento | 1-gen-1990 | Bonacina, Maria Paola | |
SBR3: a refutational prover for equational theorems | 1-gen-1990 | Siva, Anantharaman; Nirina, Andrianarivelo; Bonacina, Maria Paola; Jieh, Hsiang | |
A category theory approach to completion-based theorem proving strategies (Abstract) | 1-gen-1991 | Bonacina, Maria Paola; Jieh, Hsiang | |
Problems in Lukasiewicz logic | 1-gen-1991 | Bonacina, Maria Paola | |
On fairness of completion-based theorem proving strategies | 1-gen-1991 | Bonacina, Maria Paola; Jieh, Hsiang | |
Completion procedures as semidecision procedures | 1-gen-1991 | Bonacina, Maria Paola; Jieh, Hsiang | |
An application of automated equational reasoning to many-valued logic | 1-gen-1991 | Siva, Anantharaman; Bonacina, Maria Paola | |
A system for distributed simplification-based theorem proving | 1-gen-1992 | Bonacina, Maria Paola; Jieh, Hsiang | |
Incompleteness of the RUE/NRF inference systems | 1-gen-1992 | Bonacina, Maria Paola; Jieh, Hsiang | |
High performance simplification-based automated deduction | 1-gen-1992 | Bonacina, Maria Paola; Jieh, Hsiang | |
On rewrite programs: semantics and relationship with Prolog | 1-gen-1992 | Bonacina, Maria Paola; Jieh, Hsiang | |
Distributed automated deduction | 1-gen-1992 | Bonacina, Maria Paola | |
Distributed deduction by Clause-Diffusion: the Aquarius prover | 1-gen-1993 | Bonacina, Maria Paola; Jieh, Hsiang | |
On fairness in distributed automated deduction | 1-gen-1993 | Bonacina, Maria Paola; Jieh, Hsiang |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile