Hans-Jörg Tiede

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2008
j6		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)
j5		Hans-Jörg Tiede: Book Review. Journal of Logic, Language and Information 17(2): 233-236 (2008)
	2006
j4		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
j3		Hans-Jörg Tiede: The Mathematics by of Language Marcus Kracht. Computational Linguistics 30(4): 513-515 (2004)
j2		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
j1		Hans-Jörg Tiede: Basic Simple Type Theory, J. Roger Hindley. Journal of Logic, Language and Information 8(4): 473-476 (1999)
	1998
c1		Hans-Jörg Tiede: Lambek Calculus Proofs and Tree Automata. LACL 1998: 251-265

Coauthor Index

1	Stephan Kepser	[j4]
2	Lawrence S. Moss	[j2]

Last update Mon May 20 11:13:00 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page