The following pages link to Maria Paola Bonacina (Q287273):
Displaying 4 items.
- Frontiers of Combining Systems (Q5491893) (← links)
- An application of automated equational reasoning to many-valued logic (Q5881275) (← links)
- Completion procedures as semidecision procedures (Q5881279) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)