Part of the Mathematics Commons

Works by Hans Joerg Tiede in Mathematics

2008

Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax, Hans Joerg Tiede
Hans Joerg Tiede

Link

2007

Applications of Modal Logic in Linguistics, Lawrence Moss, Hans Joerg Tiede
Hans Joerg Tiede

 

2003

Proof Theory and Formal Grammars - Applications of Normalization, Hans Joerg Tiede
Hans Joerg Tiede

 

2002

Proof Tree Automata, Hans Joerg Tiede
Hans Joerg Tiede

 

2001

Lambek Calculus Proofs and Tree Automata, Hans Joerg Tiede
Hans Joerg Tiede

Link

1999

Counting the Number of Proofs in the Commutative Lambek Calculus, Hans Joerg Tiede
Hans Joerg Tiede

Link