Sciweavers

6 search results - page 2 / 2
» Boundedness of Monadic Second-Order Formulae over Finite Wor...
Sort
View
MFCS
1998
Springer
13 years 9 months ago
Facial Circuits of Planar Graphs and Context-Free Languages
It is known that a language is context-free iff it is the set of borders of the trees of recognizable set, where the border of a (labelled) tree is the word consisting of its leaf ...
Bruno Courcelle, Denis Lapoire