Werner Kernig

According to our database, Werner Kernig authored at least 3 papers between 1992 and 1993.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1993

Verification of Switch-Level Designs with Many-Valued Logic.

Reiner Hähnle, Werner Kernig

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

1992

The Many-Valued Theorem Prover ₃T^AP.

Reiner Hähnle, Bernhard Beckert, Stefan Gerberding, Werner Kernig

IWBS Report, 1992

The Tableau-Based Theorem Prover ₃T^AP for Multi-Valued Logics.

Bernhard Beckert, Stefan Gerberding, Reiner Hähnle, Werner Kernig

Proceedings of the Automated Deduction, 1992