Stefan Klingenbeck

According to our database, Stefan Klingenbeck authored at least 7 papers between 1994 and 1997.

Collaborative distances:

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

1997

Counter examples in semantic tableaux.

Stefan Klingenbeck

PhD thesis, 1997

1996

A-Ordered Tableaux.

Reiner Hähnle, Stefan Klingenbeck

J. Log. Comput., 1996

1995

Generating Finite Counter Examples with Semantic Tableaux.

Stefan Klingenbeck

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

Tatzelwurm.

Stefan Klingenbeck, Thomas Käufl

Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

The Verification System Tatzelwurm.

Peter Deussen, A. Hansmann, Thomas Käufl, Stefan Klingenbeck

Proceedings of the KORSO, 1995

1994

Tatzelwurm.

Thomas Käufl, Stefan Klingenbeck

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Semantic Tableaux with Ordering Restrictions.

Stefan Klingenbeck, Reiner Hähnle

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994