𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Quantifier scope and the ECP

✍ Scribed by Peter Cole


Publisher
Springer Netherlands
Year
1985
Tongue
English
Weight
324 KB
Volume
8
Category
Article
ISSN
0165-0157

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The U-Quantifier
✍ A. H. Lachlan πŸ“‚ Article πŸ“… 1961 πŸ› John Wiley and Sons 🌐 English βš– 154 KB
Tree-width and the monadic quantifier hi
✍ J.A. Makowsky; J.P. MariΓ±o πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 269 KB

It is well known that on classes of graphs of bounded tree-width, every monadic second-order property is decidable in polynomial time. The converse is not true without further assumptions. It follows from the work of Robertson and Seymour, that if a class of graphs K has unbounded tree-width and is