| Description |
1 online resource (180 pages) : illustrations |
| Series |
Trends in linguistics. Studies and monographs ; 201 |
|
Trends in linguistics. Studies and monographs ; 201.
|
| Contents |
Type theory with records and unification-based grammar / Robin Cooper -- One-letter automata : how to reduce k tapes to one / Hristo Ganchev, Stoyan Mihov, and Klaus U. Schulz -- Two aspects of situated meaning / Eleni Kalyvianaki and Yiannis N. Moschovakis -- Further excursions in natural logic : the mid-point theorems / Edward L. Keenan -- On the logic of LGB type structures : multidominance structures / Marcus Kracht -- Completeness theorems for syllogistic fragments / Lawrence S. Moss |
| Summary |
The contributions to this volume address central topics in theoretical and computational linguistics, such as quantification, types of context dependence and aspects concerning the formalisation of major grammatical frameworks. The volume will be of great benefit for theoretical and computational linguists, and logicians |
| Bibliography |
Includes bibliographical references and index |
| Notes |
English |
|
Print version record |
| Subject |
Computational linguistics.
|
|
Language and logic
|
|
computational linguistics.
|
|
LANGUAGE ARTS & DISCIPLINES -- General.
|
|
Computational linguistics
|
|
Language and logic
|
| Genre/Form |
Computer network resources
|
| Form |
Electronic book
|
| Author |
Hamm, Fritz, 1953-
|
|
Kepser, Stephan, 1967-
|
| LC no. |
2008032760 |
| ISBN |
9783110211788 |
|
3110211785 |
|
9786611999582 |
|
6611999582 |
|
