Werner Kernig

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1993
Verification of Switch-Level Designs with Many-Valued Logic.
Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

1992
The Many-Valued Theorem Prover <sub>3</sub>T<sup>A</sup>P.
IWBS Report, 1992

The Tableau-Based Theorem Prover <sub>3</sub>T<sup>A</sup>P for Multi-Valued Logics.
Proceedings of the Automated Deduction, 1992


  Loading...