4 search results - page 1 / 1 » Existential Second-Order Logic over Strings |
103
Voted
LICS
1998
IEEE
15 years 6 months ago
1998
IEEE
d abstract) T. Eiter G. Gottlob Y. Gurevich Institut fur Informatik Institut fur Informationssysteme EECS Department Universitat Gie en Technische Universitat Wien University of Mi...
103
Voted
RTA
1998
Springer
15 years 6 months ago
1998
Springer
The system FT
106
Voted
DLT
2009
15 years 13 days ago
2009
We study the Monadic Second Order (MSO) Hierarchy over infinite pictures, that is tilings. We give a characterization of existential MSO in terms of tilings and projections of tili...
120
Voted
JCSS
2000
15 years 2 months ago
2000
It is a well-known result of Fagin that the complexity class NP coincides with the class of problems expressible in existential second-order logic ( 1 1), which allows sentences c...