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

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

4
(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

1997 ◽  
pp. 310-328 ◽  
Author(s):  
Josep M. Merenciano ◽  
Glyn Morrill
Keyword(s):  
Proof Nets

scholarly journals Language understanding: A procedural perspective

1997 ◽  
pp. 228-247
Author(s):  
Ruth Kempson ◽  
Wilfried Meyer Viol ◽  
Dov Gabbay
Keyword(s):  
Language Understanding

Tree adjoining grammars in noncommutative linear logic

1997 ◽  
pp. 96-117 ◽  
Author(s):  
V. Michele Abrusci ◽  
Christophe Fouqueré ◽  
Jacqueline Vauzeilles
Keyword(s):  
Linear Logic ◽  
Tree Adjoining Grammars

Constructing different phonological bracketings from a proof net

1997 ◽  
pp. 118-133
Author(s):  
Denis Bechet ◽  
Philippe de Groote

Constraint logic programming for computational linguistics

1997 ◽  
pp. 406-425 ◽  
Author(s):  
Frieder Stolzenburg ◽  
Stephan Höhne ◽  
Ulrich Koch ◽  
Martin Volk
Keyword(s):  
Logic Programming ◽  
Computational Linguistics ◽  
Constraint Logic Programming

Semilinearity as a syntactic invariant

1997 ◽  
pp. 329-345 ◽  
Author(s):  
Jens Michaelis ◽  
Marcus Kracht

Models for polymorphic Lambek Calculus

1997 ◽  
pp. 168-187
Author(s):  
Martin Emms
Keyword(s):  
Lambek Calculus

Derivational minimalism

1997 ◽  
pp. 68-95 ◽  
Author(s):  
Edward Stabler
Load More ...
Sign in / Sign up

Export Citation Format

Share Document