|
Hans-Peter Kolb, Uwe Mönnich and Frank MorawietzA Logical Description of Cross-Serial Dependencies20pp., PS (192kb). AbstractThe main result of this paper is a logical description of crossserial 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 |