Frank Morawietz
Seminar für Sprachwissenschaft
Theoretische Computerlinguistik
 
Neuphilologische Fakultät
Universität Tübingen

Hans-Peter Kolb, Uwe Mönnich and Frank Morawietz

A Logical Description of Cross-Serial Dependencies


20pp., PS (192kb).

Abstract

The main result of this paper is a logical description of cross­serial dependencies in terms of Monadic Second Order (MSO) logic. The description says that structures of this kind are specifiable in two steps as MSO definable relations which are defined on a domain of finite trees that is characterized as the model set of a closed MSO formula.



Accepted for presentation at the workshop Finite Model Theory and its Applications at FloC'99.

In case of problems or for comments, please contact: frank@sfs.uni-tuebingen.de
Last updated: 13-Mar-2000