TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Springe zu: Deutsch
Anzahl der Einträge: 1.

Deutsch

Bubel, Richard ; Din, Crystal Chang ; Hähnle, Reiner ; Nakata, Keiko
Hrsg.: de Nivelle, Hans (2015)
A Dynamic Logic with Traces and Coinduction.
Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings.
doi: 10.1007/978-3-319-24312-2_21
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 04:02:13 2024 CET generiert.