Synthesising Terminating Tableau Calculi for Relational Logics

First Author: Schmidt R

Attributed to: Automated Prover Generation funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-21070-9_3

Publication URI: http://dx.doi.org/10.1007/978-3-642-21070-9_3

Type: Book Chapter

Book Title: Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings (2011)

Page Reference: 40-49

ISBN: 978-3-642-21069-3