TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

Kreitz, Christoph ; Lau, Kung-Kiu ; Ornaghi, Mario
Gabbay, Dov M. ; Ohlbach, Hans Jürgen (eds.) (1996):
Formal reasoning about modules, reuse, and their correctness.
In: Lecture notes in computer science, 1085, In: Practical reasoning : proceedings ; International Conference on Formal and Applied Practical Reasoning ; FAPR '96, Bonn, Germany, June 3 - 7, 1996, pp. 384-398,
Berlin (u.a.), Springer, ISBN 978-3-540-61313-8,
[Conference or Workshop Item]

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Miglioli, Pierangelo ; Moscato, Ugo ; Mundici, Daniele ; Ornaghi, Mario (eds.) (1996):
A Remark on the P-Simulatability of Proof Systems by Path Dissolution.
In: Short Papers presented at 5th International Workshop, {TABLEAUX'96}, Palermo, Italy, pp. 33--48,
[Conference or Workshop Item]

This list was generated on Tue Sep 27 04:17:31 2022 CEST.