Search results

• 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