Sciweavers

2 search results - page 1 / 1
» Branch-width, parse trees, and monadic second-order logic fo...
Sort
View
JCT
2006
110views more  JCT 2006»
13 years 4 months ago
Branch-width, parse trees, and monadic second-order logic for matroids
Abstract. We introduce "matroid parse trees" which, using only a limited amount of information at each node, can build up the vector representations of matroids of bounde...
Petr Hlinený
ACL
1997
13 years 5 months ago
Representing Constraints with Automata
In this paper we describe an approach to constraint based syntactic theories in terms of finite tree automata. The solutions to constraints expressed in weak monadic second order ...
Frank Morawietz, Tom Cornell