Monadic second-order logic, tree automata, and constraint logic programming

Frank Morawietz

Enjoy 40% off

academic books on De Gruyter Brill *

Use code

DGBHOLIDAY40

Valid until Dec 11

* Terms and conditions apply

Home Linguistics & Semiotics Monadic second-order logic, tree automata, and constraint logic programming

Chapter

Licensed

Unlicensed Requires Authentication

Monadic second-order logic, tree automata, and constraint logic programming

Frank Morawietz

Published by

Become an author with De Gruyter Brill

Explore this Subject How to publish with us

This chapter is in the book The Mathematics of Syntactic Structure

MLA
APA
Harvard
Chicago
Vancouver

MLA
APA
Harvard
Chicago
Vancouver

Morawietz, Frank. "Monadic second-order logic, tree automata, and constraint logic programming". The Mathematics of Syntactic Structure: Trees and their Logics, edited by Hans-Peter Kolb and Uwe Mönnich, Berlin, Boston: De Gruyter Mouton, 1999, pp. 41-82. https://doi.org/10.1515/9783110806786.41

Morawietz, F. (1999). Monadic second-order logic, tree automata, and constraint logic programming. In H. Kolb & U. Mönnich (Ed.), The Mathematics of Syntactic Structure: Trees and their Logics (pp. 41-82). Berlin, Boston: De Gruyter Mouton. https://doi.org/10.1515/9783110806786.41

Morawietz, F. 1999. Monadic second-order logic, tree automata, and constraint logic programming. In: Kolb, H. and Mönnich, U. ed. The Mathematics of Syntactic Structure: Trees and their Logics. Berlin, Boston: De Gruyter Mouton, pp. 41-82. https://doi.org/10.1515/9783110806786.41

Morawietz, Frank. "Monadic second-order logic, tree automata, and constraint logic programming" In The Mathematics of Syntactic Structure: Trees and their Logics edited by Hans-Peter Kolb and Uwe Mönnich, 41-82. Berlin, Boston: De Gruyter Mouton, 1999. https://doi.org/10.1515/9783110806786.41

Morawietz F. Monadic second-order logic, tree automata, and constraint logic programming. In: Kolb H, Mönnich U (ed.) The Mathematics of Syntactic Structure: Trees and their Logics. Berlin, Boston: De Gruyter Mouton; 1999. p.41-82. https://doi.org/10.1515/9783110806786.41

Copy

Copied to clipboard

BibTeX EndNote RIS

You are currently not able to access this content.

Chapters in this book

I-IV I
Preface V
Contents VII
Introduction 1
The descriptive complexity of generalized local sets 21
Monadic second-order logic, tree automata, and constraint logic programming 41
Principle languages and principle-based parsing 83
The expressivity of tree languages for syntactic structures 113
Underspecification in Tree Description Grammars 153
On cloning context-freeness 195
Macros for Minimalism? Towards weak descriptions of strong structures 231
Adjunction structures and syntactic domains 259
Representational Minimalism 301
Index 341
348 348

Search book Search the content of this book

https://doi.org/10.1515/9783110806786.41

Chapters in this book

I-IV I
Preface V
Contents VII
Introduction 1
The descriptive complexity of generalized local sets 21
Monadic second-order logic, tree automata, and constraint logic programming 41
Principle languages and principle-based parsing 83
The expressivity of tree languages for syntactic structures 113
Underspecification in Tree Description Grammars 153
On cloning context-freeness 195
Macros for Minimalism? Towards weak descriptions of strong structures 231
Adjunction structures and syntactic domains 259
Representational Minimalism 301
Index 341
348 348

Monadic second-order logic, tree automata, and constraint logic programming

Chapter PDF View

Chapters in this book

Chapters in this book

Chapters in this book