| 2008 |
|---|
| 7 | EE | Hans-Jörg Tiede:
Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax.
Journal of Logic, Language and Information 17(2): 217-227 (2008) |
| 6 | EE | Hans-Jörg Tiede:
Book Review.
Journal of Logic, Language and Information 17(2): 233-236 (2008) |
| 2006 |
|---|
| 5 | EE | Hans-Jörg Tiede,
Stephan Kepser:
Monadic Second-Order Logic and Transitive Closure Logics over Trees.
Electr. Notes Theor. Comput. Sci. 165: 189-199 (2006) |
| 2004 |
|---|
| 4 | EE | Hans-Jörg Tiede:
The Mathematics by of Language Marcus Kracht.
Computational Linguistics 30(4): 513-515 (2004) |
| 3 | EE | Lawrence S. Moss,
Hans-Jörg Tiede:
Review of "Automata theory and its applications" by Bakhadyr Khoussainov and Anil Nerode. Birkhäuser Boston, Inc. 2001.: and "Automata, logics, and infinite games" by E.Grädel, W. Thomas, and T. Wilke. Springer-Verlag.
SIGACT News 35(1): 8-12 (2004) |
| 1999 |
|---|
| 2 | | Hans-Jörg Tiede:
Basic Simple Type Theory, J. Roger Hindley.
Journal of Logic, Language and Information 8(4): 473-476 (1999) |
| 1998 |
|---|
| 1 | EE | Hans-Jörg Tiede:
Lambek Calculus Proofs and Tree Automata.
LACL 1998: 251-265 |
