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: 4.

Hähnle, Reiner and Kernig, Werner Kropf, Th. and Kumar, R. and Schmid, D. (eds.) (1993):
Uses of Many-Valued Deduction in Hardware Verification.
In: Proc. ITG/GI Workshop Formale Methoden zum Entwurf korrekter Systeme, Bad Herrenalb, Interner Bericht 10/93, Fakult"{a}t füt Informatik, Universit"{a}t Karlsruhe, pp. 69--78,
[Conference or Workshop Item]

Hähnle, Reiner and Kernig, Werner Voronkov, Andrei (ed.) (1993):
Verification of Switch Level Designs with Many-Valued Logic.
In: LNCS, 698, In: Proc.~{LPAR}'93, St. Petersburg, Russia, pp. 158--169,
Springer-Verlag, [Conference or Workshop Item]

Beckert, Bernhard and Gerberding, Stefan and Hähnle, Reiner and Kernig, Werner Kapur, Deepak (ed.) (1992):
The Many-Valued Tableau-Based Theorem Prover TaP.
In: LNCS, 607, In: Proc. 11th Conference on Automated Deduction, Albany/NY, pp. 758--760,
Springer-Verlag, [Conference or Workshop Item]

Beckert, Bernhard and Gerberding, Stefan and Hähnle, Reiner and Kernig, Werner Kapur, Deepak (ed.) (1992):
The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics.
In: Lecture Notes in Computer Science, 607, pp. 758-760, Springer, Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, DOI: 10.1007/3-540-55602-8₂₁₉,
[Conference or Workshop Item]

This list was generated on Tue Dec 1 01:51:38 2020 CET.