Using Information Systems to Solve Recursive Domain Equations

@article{Larsen1991UsingIS,
  title={Using Information Systems to Solve Recursive Domain Equations},
  author={Kim G. Larsen and Glynn Winskel},
  journal={Inf. Comput.},
  year={1991},
  volume={91},
  pages={232-258}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…