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 3TAP.
IWBS Report, 1992

The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics.
Proceedings of the Automated Deduction, 1992


  Loading...