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, [Conference or Workshop Item]

Hähnle, Reiner and Kernig, Werner
Voronkov, Andrei (ed.) (1993):
Verification of Switch Level Designs with Many-Valued Logic.
In: Proc.~{LPAR}'93, St. Petersburg, Russia, Springer-Verlag, In: LNCS, 698, [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: Proc. 11th Conference on Automated Deduction, Albany/NY, Springer-Verlag, In: LNCS, 607, [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.
Springer, In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, In: Lecture Notes in Computer Science, 607, DOI: 10.1007/3-540-55602-8₂₁₉,
[Online-Edition: https://doi.org/10.1007/3-540-55602-8_219],
[Conference or Workshop Item]

This list was generated on Tue Jun 18 01:36:13 2019 CEST.