 |
|
|||||||||||||||||
EMSOEMSO is the existential fragment of monadic second-order logic (MSO). It contains all MSO formulas without universal quantifiers. The contents of this article are licensed from Wikipedia.org under the GNU Free Documentation License.
How to see transparent copy 01-04-2007 01:21:04 |
|
