Modal Tableau Systems with Blocking and Congruence Closure - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

Dates and versions

hal-01251380 , version 1 (06-01-2016)

Identifiers

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

Altmetric

Share

Gmail Facebook X LinkedIn More