Synthesising Terminating Tableau Calculi for Relational Logics

DOI10.1007/978-3-642-21070-9_3zbMath1329.03047OpenAlexW1258109176MaRDI QIDQ3007566

Renate A. Schmidt

Publication date: 17 June 2011

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21070-9_3

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

This page was built for publication: Synthesising Terminating Tableau Calculi for Relational Logics