Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics
| Title | Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | López Pombo, CG, Castro, PF, Aguirre, N, Maibaum, TSE |
| Conference Name | Recent Trends in Algebraic Development Techniques, 21st International Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers |
| URL | http://dx.doi.org/10.1007/978-3-642-37635-1_12 |
| DOI | 10.1007/978-3-642-37635-1_12 |
Work Package:
WP5
