Computer Science

Conference contribution

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 proceedingConference contribution