Communication Dans Un Congrès
Année : 2015
Stephan Merz : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01251380
Soumis le : mercredi 6 janvier 2016-10:16:46
Dernière modification le : lundi 2 décembre 2024-17:46:02
Citer
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⟩
78
Consultations
0
Téléchargements