|
|
Dual Tableaux: Foundations, Methodology, Case Studies
From the contents:
1. Dual Tableau for Classical First-Order Logic
2. Dual Tableaux for Logics of Classical Algebras of Binary
3. Theories of Point Relations and Relational Model Checking
4. Dual Ta... |
 |
|
|
| Download PDF |
| Dual Tableaux: Foundations, Methodology, Case Studies |
|
