Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is T. S. E. Maibaum  [Clear All Filters]
2012
C. G. López Pombo, P. F. Castro, N. Aguirre, and T. S. E. Maibaum, “Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics”, in Recent Trends in Algebraic Development Techniques, 21st International Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, 2012.