 |
 |
|
 |
 |
|
|
|
|
|
|
Encyclopedia :
E :
EM :
EMS :
EMSO |
|
|
EMSOEMSO is the existential fragment of monadic second-order logic (MSO). It contains all MSO formulas without universal quantifiers.
|
|
|
This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License. |
|
| © 2008 Chamas Enterprises Inc. |
