Stefan Klingenbeck (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Reiner Hähnle, Stefan Klingenbeck: A-Ordered Tableaux. J. Log. Comput. 6(6): 819-833 (1996)

2 Stefan Klingenbeck, Reiner Hähnle: Semantic Tableaux with Ordering Restrictions. CADE 1994: 708-722

Selection of 2 from 6 records - Stefan Klingenbeck has 4 coauthors

6		Reiner Hähnle, Stefan Klingenbeck: A-Ordered Tableaux. J. Log. Comput. 6(6): 819-833 (1996)
2		Stefan Klingenbeck, Reiner Hähnle: Semantic Tableaux with Ordering Restrictions. CADE 1994: 708-722