TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 2.

Gedell, Tobias ; Hähnle, Reiner
Hrsg.: Aguzzoli, Stefano ; Ciabattoni, Agata ; Gerla, Brunella ; Manara, Corrado ; Marra, Vincenzo (2007)
Verification by Parallelization of Parametric Code.
Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday.
doi: 10.1007/978-3-540-75939-3_10
Konferenzveröffentlichung, Bibliographie

Gedell, Tobias ; Hähnle, Reiner
Hrsg.: Hermann, Miki ; Voronkov, Andrei (2006)
Automating Verification of Loops by Parallelization.
Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings.
doi: 10.1007/11916277_23
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 02:43:35 2024 CET generiert.