Searching for authors named Werner Kernig – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Verification of Switch-Level Designs with Many-Valued Logic
by Reiner Hähnle, Werner Kernig, Switchlevel Models — 1993
… Reiner Hahnle ? and Werner Kernig Institute for Logic,ComplexityandDeductionSystems, Dept. of…
Cited by 10 (5 self) – Add To MetaCart

The tableau-based theorem prover 3T A P for multiple-valued logics
by Bernhard Beckert, Reiner Hähnle, Stefan Gerberding, Werner Kernig — 1992 — In Proceedings, CADE 11, Albany/NY, LNCS
… Hähnle Stefan Gerberding Werner Kernig Institute for Logic, Complexity and Deduction Systems University…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB