Search results

• 2002

  Proof Tree Automata

  Tiede, H. J., 2002, Words, Proofs, and Diagrams.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• 2001

  Lambek calculus proofs and tree automata

  Tiede, H. J., 2001, Logical Aspects of Computational Linguistics - 3rd International Conference, LACL 1998, Selected Papers. Moortgat, M. (ed.). Springer Verlag, p. 251-265 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2014).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Lambek Calculus Proofs and Tree Automata

  Tiede, H. J., 2001, Logical Aspects of Computational Linguistics.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• 1999

  Counting the Number of Proofs in the Commutative Lambek Calculus

  Tiede, H. J., 1999, JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Deductive Systems and Grammars

  Tiede, H. J., 1999

  Research output: Other contribution

• Identifiability in the Limit of Context-Free Generalized Quantifiers

  Tiede, H. J., 1999, In: Journal of Language and Computation. 1

  Research output: Journal Article › Article › peer-review