Skip to Main content Skip to Navigation
New interface
Conference papers

Modal Tableau Systems with Blocking and Congruence Closure

Renate Schmidt 1 Uwe Waldmann 2, 3 
3 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Document type :
Conference papers
Complete list of metadata
Contributor : Stephan Merz Connect in order to contact the contributor
Submitted on : Wednesday, January 6, 2016 - 10:16:46 AM
Last modification on : Saturday, June 25, 2022 - 7:47:14 PM

Links full text




Renate Schmidt, Uwe Waldmann. Modal Tableau Systems with Blocking and Congruence Closure. 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2015, Wroclaw, Poland. pp.38-53, ⟨10.1007/978-3-319-24312-2_4⟩. ⟨hal-01251380⟩



Record views