Lambek calculus proofs and tree automata

Hans Joerg Tiede

doi:10.1007/3-540-45738-0_15

Lambek calculus proofs and tree automata

Computer Science

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

Original language	English
Title of host publication	Logical Aspects of Computational Linguistics - 3rd International Conference, LACL 1998, Selected Papers
Editors	Michael Moortgat
Publisher	Springer Verlag
Pages	251-265
Number of pages	15
ISBN (Print)	354042251X, 9783540422518
DOIs	https://doi.org/10.1007/3-540-45738-0_15
State	Published - 2001
Event	3rd International Conference on Logical Aspects of Computational Linguistics, LACL 1998 - Grenoble, France Duration: Dec 14 1998 → Dec 16 1998

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2014
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	3rd International Conference on Logical Aspects of Computational Linguistics, LACL 1998
Country/Territory	France
City	Grenoble
Period	12/14/98 → 12/16/98

ASJC Scopus Subject Areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-45738-0_15

Cite this

Tiede, H. J. (2001). Lambek calculus proofs and tree automata. In M. Moortgat (Ed.), Logical Aspects of Computational Linguistics - 3rd International Conference, LACL 1998, Selected Papers (pp. 251-265). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2014). Springer Verlag. https://doi.org/10.1007/3-540-45738-0_15

Lambek calculus proofs and tree automata. / Tiede, Hans Joerg.
Logical Aspects of Computational Linguistics - 3rd International Conference, LACL 1998, Selected Papers. ed. / Michael Moortgat. Springer Verlag, 2001. p. 251-265 (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

Tiede, HJ 2001, Lambek calculus proofs and tree automata. in M Moortgat (ed.), Logical Aspects of Computational Linguistics - 3rd International Conference, LACL 1998, Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2014, Springer Verlag, pp. 251-265, 3rd International Conference on Logical Aspects of Computational Linguistics, LACL 1998, Grenoble, France, 12/14/98. https://doi.org/10.1007/3-540-45738-0_15

Tiede HJ. Lambek calculus proofs and tree automata. In Moortgat M, editor, Logical Aspects of Computational Linguistics - 3rd International Conference, LACL 1998, Selected Papers. Springer Verlag. 2001. p. 251-265. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45738-0_15

@inproceedings{8bfb2fc64ff84da5a00b2a9003afee43,

title = "Lambek calculus proofs and tree automata",

author = "Tiede, {Hans Joerg}",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2001.; 3rd International Conference on Logical Aspects of Computational Linguistics, LACL 1998 ; Conference date: 14-12-1998 Through 16-12-1998",

year = "2001",

doi = "10.1007/3-540-45738-0_15",

language = "English",

isbn = "354042251X",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "251--265",

editor = "Michael Moortgat",

booktitle = "Logical Aspects of Computational Linguistics - 3rd International Conference, LACL 1998, Selected Papers",

}

TY - GEN

T1 - Lambek calculus proofs and tree automata

AU - Tiede, Hans Joerg

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2001.

PY - 2001

Y1 - 2001

UR - http://www.scopus.com/inward/record.url?scp=84942933442&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84942933442&partnerID=8YFLogxK

U2 - 10.1007/3-540-45738-0_15

DO - 10.1007/3-540-45738-0_15

M3 - Conference contribution

AN - SCOPUS:84942933442

SN - 354042251X

SN - 9783540422518

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 251

EP - 265

BT - Logical Aspects of Computational Linguistics - 3rd International Conference, LACL 1998, Selected Papers

A2 - Moortgat, Michael

PB - Springer Verlag

T2 - 3rd International Conference on Logical Aspects of Computational Linguistics, LACL 1998

Y2 - 14 December 1998 through 16 December 1998

ER -

Lambek calculus proofs and tree automata

Publication series

Conference

ASJC Scopus Subject Areas

Access to Document

Other files and links

Cite this