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
Type de document :
Communication dans un congrès
de Nivelle, Hans. 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2015, Wroclaw, Poland. Springer, 9323, pp.38-53, Lecture Notes in Computer Science. 〈10.1007/978-3-319-24312-2_4〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01251380
Contributeur : Stephan Merz <>
Soumis le : mercredi 6 janvier 2016 - 10:16:46
Dernière modification le : mardi 19 février 2019 - 15:40:03

Lien texte intégral

Identifiants

Collections

Citation

Renate Schmidt, Uwe Waldmann. Modal Tableau Systems with Blocking and Congruence Closure. de Nivelle, Hans. 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2015, Wroclaw, Poland. Springer, 9323, pp.38-53, Lecture Notes in Computer Science. 〈10.1007/978-3-319-24312-2_4〉. 〈hal-01251380〉

Partager

Métriques

Consultations de la notice

132