EMSO, TheBestLinks.com:Find or fix a stub, Universal quantifier...

Navigation

Search

Toolbox


	Article


	View source


	History


	Watch


	Place Link


	Post Message

EMSO

EMSO is the existential fragment of monadic second-order logic (MSO). It contains all MSO formulas without universal quantifiers.

This article is a stub. You can help Wikipedia by expanding it (http://www.thebestlinks.com/EMSO-bp-action-v-edit-ep-.html).

Discussion

Last posted 0 of 0 messages

[no messages posted yet]

>> post message >>

You can add this article to your own "watchlist" and receive e-mail notification about all changes in this page.

This page was last modified 20:18, 10 Sep 2004.

Content is available under GNU Free Documentation License 1.2.
Powered by MediaWiki