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
Automated proofs in Lukasiewicz logic
1989-01-01 Siva, Anantharaman; Bonacina, Maria Paola
KBlab: an equational theorem prover for the Macintosh
1989-01-01 Bonacina, Maria Paola; Giancarlo, Sanna
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
Operational and denotational semantics of rewrite programs
1990-01-01 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
An application of automated equational reasoning to many-valued logic
1991-01-01 Siva, Anantharaman; Bonacina, Maria Paola
Completion procedures as semidecision procedures
1991-01-01 Bonacina, Maria Paola; Jieh, Hsiang
Distributed automated deduction
1992-01-01 Bonacina, Maria Paola
High performance simplification-based automated deduction
1992-01-01 Bonacina, Maria Paola; Jieh, Hsiang
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
On rewrite programs: semantics and relationship with Prolog
1992-01-01 Bonacina, Maria Paola; Jieh, Hsiang
On fairness in distributed automated deduction
1993-01-01 Bonacina, Maria Paola; Jieh, Hsiang
Distributed deduction by Clause-Diffusion: the Aquarius prover
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 | |
| Automated proofs in Lukasiewicz logic | 1-gen-1989 | Siva, Anantharaman; Bonacina, Maria Paola | |
| KBlab: an equational theorem prover for the Macintosh | 1-gen-1989 | Bonacina, Maria Paola; Giancarlo, Sanna | |
| 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 | |
| Operational and denotational semantics of rewrite programs | 1-gen-1990 | 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 | |
| An application of automated equational reasoning to many-valued logic | 1-gen-1991 | Siva, Anantharaman; Bonacina, Maria Paola | |
| Completion procedures as semidecision procedures | 1-gen-1991 | Bonacina, Maria Paola; Jieh, Hsiang | |
| Distributed automated deduction | 1-gen-1992 | Bonacina, Maria Paola | |
| High performance simplification-based automated deduction | 1-gen-1992 | Bonacina, Maria Paola; Jieh, Hsiang | |
| 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 | |
| On rewrite programs: semantics and relationship with Prolog | 1-gen-1992 | Bonacina, Maria Paola; Jieh, Hsiang | |
| On fairness in distributed automated deduction | 1-gen-1993 | Bonacina, Maria Paola; Jieh, Hsiang | |
| Distributed deduction by Clause-Diffusion: the Aquarius prover | 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