Login / Signup
Hans-Jörg Tiede
ORCID
Publication Activity (10 Years)
Years Active: 1998-2008
Publications (10 Years): 0
</>
Publications
</>
Hans-Jörg Tiede
Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax.
J. Log. Lang. Inf.
17 (2) (2008)
Hans-Jörg Tiede
Book Review.
J. Log. Lang. Inf.
17 (2) (2008)
Hans-Jörg Tiede
,
Stephan Kepser
Monadic Second-Order Logic and Transitive Closure Logics over Trees.
Electron. Notes Theor. Comput. Sci.
165 (2006)
Hans-Jörg Tiede
The Mathematics by of Language Marcus Kracht.
Comput. Linguistics
30 (4) (2004)
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) (2004)
Hans-Jörg Tiede
Basic Simple Type Theory, J. Roger Hindley.
J. Log. Lang. Inf.
8 (4) (1999)
Hans-Jörg Tiede
Lambek Calculus Proofs and Tree Automata.
LACL
(1998)