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
252007
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
192010
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
University reform: The founding of the American association of university professors
HJ Tiede, M Bérubé
JHU Press, 2015
102015
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
"To Make Collective Action Possible": The Founding of the AAUP
HJ Tiede
Journal of Academic Freedom 5, 2014
72014
Inessential Features and Expressive Power of Descriptive Metalanguages
GK Pullum, HJ Tiede
Features: Perspectives on a Key Notion in Linguistics, 272-292., 2010
72010
Exhuming McCarthy (meet me at the book burning)
HJ Tiede
Academe 103 (5), 15-19, 2017
52017
Faculty communication with governing boards
HJ Tiede
Academe 99 (3), 8-12, 2013
52013
Proof theory and formal grammars: applications of normalization
HJ Tiede
Foundations of the formal sciences II, 235-256, 2003
52003
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
Academic freedom and tenure: The University of Illinois at Urbana-Champaign (April 2015)
H Reichman, JW Scott, HJ Tiede, MF Berube, DM Eron, M Heins, ...
Academe 101 (4), 27-47, 2015
32015
Tenure and the university of Wisconsin system
HJ Tiede
Redbook 96, 2010
32010
Proof tree automata
HJ Tiede
Logic Unleashed: Language, Diagrams, and Computation. CSLI Publications, 2001
32001
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
Collaborative Decision Making Regarding Salary Policy: A Case Study
F Boyd, HJ Tiede
Academe, 20-23, 2013
22013
The system can't perform the operation now. Try again later.
Articles 1–20