Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540637004, 9783540696315

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Generation as deduction on labelled proof nets

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/bfb0052164 ◽

1997 ◽

pp. 310-328 ◽

Cited By ~ 2

Author(s):

Josep M. Merenciano ◽

Glyn Morrill

Keyword(s):

Proof Nets

Download Full-text

Language understanding: A procedural perspective

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/bfb0052160 ◽

1997 ◽

pp. 228-247

Author(s):

Ruth Kempson ◽

Wilfried Meyer Viol ◽

Dov Gabbay

Keyword(s):

Language Understanding

Download Full-text

Representation theorems for residuated groupoids

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/bfb0052170 ◽

1997 ◽

pp. 426-434 ◽

Cited By ~ 2

Author(s):

Maxek Szczerba

Keyword(s):

Representation Theorems

Download Full-text

Tree adjoining grammars in noncommutative linear logic

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/bfb0052153 ◽

1997 ◽

pp. 96-117 ◽

Cited By ~ 2

Author(s):

V. Michele Abrusci ◽

Christophe Fouqueré ◽

Jacqueline Vauzeilles

Keyword(s):

Linear Logic ◽

Tree Adjoining Grammars

Download Full-text

Constructing different phonological bracketings from a proof net

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/bfb0052154 ◽

1997 ◽

pp. 118-133

Author(s):

Denis Bechet ◽

Philippe de Groote

Download Full-text

Constraint logic programming for computational linguistics

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/bfb0052169 ◽

1997 ◽

pp. 406-425 ◽

Cited By ~ 1

Author(s):

Frieder Stolzenburg ◽

Stephan Höhne ◽

Ulrich Koch ◽

Martin Volk

Keyword(s):

Logic Programming ◽

Computational Linguistics ◽

Constraint Logic Programming

Download Full-text

Linear logic as logic programming: An abstract

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/bfb0052151 ◽

1997 ◽

pp. 63-67

Author(s):

Dale Miller

Keyword(s):

Logic Programming ◽

Linear Logic

Download Full-text

Semilinearity as a syntactic invariant

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/bfb0052165 ◽

1997 ◽

pp. 329-345 ◽

Cited By ~ 13

Author(s):

Jens Michaelis ◽

Marcus Kracht

Download Full-text

Models for polymorphic Lambek Calculus

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/bfb0052157 ◽

1997 ◽

pp. 168-187

Author(s):

Martin Emms

Keyword(s):

Lambek Calculus

Download Full-text

Derivational minimalism

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/bfb0052152 ◽

1997 ◽

pp. 68-95 ◽

Cited By ~ 95

Author(s):

Edward Stabler

Download Full-text

Logical Aspects of Computational Linguistics - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Generation as deduction on labelled proof nets

Language understanding: A procedural perspective

Representation theorems for residuated groupoids

Tree adjoining grammars in noncommutative linear logic

Constructing different phonological bracketings from a proof net

Constraint logic programming for computational linguistics

Linear logic as logic programming: An abstract

Semilinearity as a syntactic invariant

Models for polymorphic Lambek Calculus

Derivational minimalism

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science
Latest Publications