𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Relations in Monadic Third-Order Logic

✍ Scribed by A. P. Hazen

Book ID
111533080
Publisher
Springer Netherlands
Year
1997
Tongue
English
Weight
86 KB
Volume
26
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Circle graphs and monadic second-order l
Circle graphs and monadic second-order logic
✍ Bruno Courcelle πŸ“‚ Article πŸ“… 2008 πŸ› Elsevier Science 🌐 English βš– 357 KB

This article is part of a project consisting in expressing, whenever possible, graph properties and graph transformations in monadic second-order logic or in its extensions using modulo p cardinality set predicates or auxiliary linear orders. A circle graph is the intersection graph of a set of chor

Monadic Second Order Logic And Its Fragm
Monadic Second Order Logic And Its Fragments
✍ Giacomo Lenzi πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 230 KB

Various recent results about monadic second order logic and its fragments are presented. These results have been obtained in the framework of the EU TMR Project GETGRATS.

Logical equations in monadic logic
Logical equations in monadic logic
✍ G. Mints; T. Hoshi πŸ“‚ Article πŸ“… 2009 πŸ› Springer US 🌐 English βš– 230 KB