EMSO
From Wikipedia, the free encyclopedia
EMSO may be:
- Environment for Modelling, Simulation and Optimisation, a software package.
- the existential fragment of monadic second-order logic (MSO). It contains all MSO formulas without universal quantifiers.