Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Stefan Klingenbeck

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1997
[b1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0088237
- ask others
Stefan Klingenbeck: Counter examples in semantic tableaux. DISKI 156, Infix 1997, ISBN 978-3-89601-156-5, pp. 1-180
1996
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/logcom/HahnleK96
- ask others
Reiner Hähnle, Stefan Klingenbeck: A-Ordered Tableaux. J. Log. Comput. 6(6): 819-833 (1996)
1995
[c5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/korso/KlingenbeckK95
- ask others
Stefan Klingenbeck, Thomas Käufl: Tatzelwurm. Formal Development of Reactive Systems 1995: 247-259
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/korso/DeussenHKK95
- ask others
Peter Deussen, A. Hansmann, Thomas Käufl, Stefan Klingenbeck: The Verification System Tatzelwurm. KORSO Book 1995: 285-298
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tableaux/Klingenbeck95
- ask others
Stefan Klingenbeck: Generating Finite Counter Examples with Semantic Tableaux. TABLEAUX 1995: 31-46
1994
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/KlingenbeckH94
- ask others
Stefan Klingenbeck, Reiner Hähnle: Semantic Tableaux with Ordering Restrictions. CADE 1994: 708-722
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ftrtft/KauflK94
- ask others
Thomas Käufl, Stefan Klingenbeck: Tatzelwurm. FTRTFT 1994: 786-786

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?