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 : mardi 31 octobre 2023-11:26:05
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⟩
74
Consultations
0
Téléchargements