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
Liste complète des métadonnées

https://hal.inria.fr/hal-01251380
Contributor : Stephan Merz <>
Submitted on : Wednesday, January 6, 2016 - 10:16:46 AM
Last modification on : Tuesday, February 19, 2019 - 3:40:03 PM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

137