Hans-Joerg Tiede
Hans-Joerg Tiede
American Association of University Professors
Verified email at iwu.edu - Homepage
Title
Cited by
Cited by
Year
Deductive systems and grammars: Proofs as grammatical structures
HJ Tiede
Indiana University, 1999
36*1999
Identifiability in the limit of context-free generalized quantifiers
HJ Tiede
Journal of Language and Computation 1 (1), 93-102, 1999
271999
19 applications of modal logic in linguistics
LS Moss, HJ Tiede
Studies in Logic and Practical Reasoning 3, 1031-1076, 2007
262007
Lambek calculus proofs and tree automata
HJ Tiede
International Conference on Logical Aspects of Computational Linguistics …, 1998
221998
8. Recursion, infinity, and modeling
HJ Tiede, LN Stout
Recursion and human language, 147-158, 2010
212010
University reform: The founding of the American association of university professors
HJ Tiede, M Bérubé
JHU Press, 2015
182015
Monadic second-order logic and transitive closure logics over trees
HJ Tiede, S Kepser
Electronic Notes in Theoretical Computer Science 165, 189-199, 2006
112006
"To Make Collective Action Possible": The Founding of the AAUP
HJ Tiede
Journal of Academic Freedom 5, 2014
92014
Inessential features, ineliminable features, and modal logics for model theoretic syntax
HJ Tiede
Journal of Logic, Language and Information 17 (2), 217-227, 2008
82008
Inessential Features and Expressive Power of Descriptive Metalanguages
GK Pullum, HJ Tiede
Features: Perspectives on a Key Notion in Linguistics, 272-292., 2010
72010
Faculty communication with governing boards
HJ Tiede
Academe 99 (3), 8-12, 2013
62013
Exhuming McCarthy (meet me at the book burning)
HJ Tiede
Academe 103 (5), 15-19, 2017
52017
Proof theory and formal grammars: applications of normalization
HJ Tiede
Foundations of the formal sciences II, 235-256, 2003
52003
Academic freedom and tenure: The University of Illinois at Urbana-Champaign (April 2015)
H Reichman, JW Scott, HJ Tiede, M Bérubé, DM Eron, M Heins, ...
Academe 101 (4), 27-47, 2015
42015
Monadic second-order logic and transitive closure logics over trees
HJ Tiede, S Kepser
Research on Language and Computation 7 (1), 41-54, 2009
42009
The Front Rank: On Tenure and the Role of the Faculty in the Defense of Academic Freedom
HJ Tiede
History of Education Quarterly 58 (3), 441-447, 2018
32018
Tenure and the university of Wisconsin system
HJ Tiede
Redbook 96, 2010
32010
Proof tree automata
HJ Tiede
Words, Proofs, and Diagrams, 143-161, 2002
32002
Counting the number of proofs in the commutative Lambek calculus
HJ Tiede
JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th …, 1999
31999
Faculty Communication with Governing Boards: Best Practices.
HJ Tiede, LG Gerber, GM Turkel, BR Kreiser
American Association of University Professors, 2014
22014
The system can't perform the operation now. Try again later.
Articles 1–20