Login / Signup
The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach.
Christel Baier
Mila E. Majster-Cederbaum
Published in:
Formal Aspects Comput. (1997)
Keyphrases
</>
partial order
partially ordered
total order
partial ordering
stable marriage
polynomial equations
vertex cover
lattice structure
domain independent
boundary value problem
conceptual graphs
set theory
dominance relation
optimal solution
differential equations
numerical solution
mathematical model
special case