The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach

From International Center for Computational Logic

Toggle side column

The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach

Christel BaierChristel Baier,  Mila E. Majster-CederbaumMila E. Majster-Cederbaum
Christel Baier, Mila E. Majster-Cederbaum
The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach
Formal Aspects of Computing, 9(4):425--445, 1997
@article{BM1997,
  author  = {Christel Baier and Mila E. Majster-Cederbaum},
  title   = {The Connection Between Initial and Unique Solutions of Domain
             Equations in the Partial Order and Metric Approach},
  journal = {Formal Aspects of Computing},
  volume  = {9},
  number  = {4},
  year    = {1997},
  pages   = {425--445},
  doi     = {10.1007/BF01211300}
}