Conference Papers
Year : 2015
Stephan Merz : Connect in order to contact the contributor
https://inria.hal.science/hal-01251380
Submitted on : Wednesday, January 6, 2016-10:16:46 AM
Last modification on : Tuesday, October 31, 2023-11:26:05 AM
Cite
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⟩
74
View
0
Download