Hans-Jörg Tiede

According to our database, Hans-Jörg Tiede authored at least 8 papers between 1998 and 2008.

Collaborative distances:

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

2008

Book Review.

Hans-Jörg Tiede

J. Log. Lang. Inf., 2008

Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax.

Hans-Jörg Tiede

J. Log. Lang. Inf., 2008

2007

Applications of modal logic in linguistics.

Lawrence S. Moss, Hans-Jörg Tiede

Proceedings of the Handbook of Modal Logic., 2007

2006

Monadic Second-Order Logic and Transitive Closure Logics over Trees.

Hans-Jörg Tiede, Stephan Kepser

Proceedings of the 13th Workshop on Logic, Language, Information and Computation, 2006

2004

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.

Lawrence S. Moss, Hans-Jörg Tiede

SIGACT News, 2004

The Mathematics by of Language Marcus Kracht.

Hans-Jörg Tiede

Comput. Linguistics, 2004

1999

Basic Simple Type Theory, J. Roger Hindley.

Hans-Jörg Tiede

J. Log. Lang. Inf., 1999

1998

Lambek Calculus Proofs and Tree Automata.

Hans-Jörg Tiede

Proceedings of the Logical Aspects of Computational Linguistics, 1998