Finite Domain Algorithms and their Verification in the Concurrent Constraint Language Oz - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jörg Würtz. Finite Domain Algorithms and their Verification in the Concurrent Constraint Language Oz. In WLP. pages 108-111, 1993.

@inproceedings{Wurtz93,
  title = {Finite Domain Algorithms and their Verification in the Concurrent Constraint Language Oz},
  author = {Jörg Würtz},
  year = {1993},
  tags = {constraints, domain-specific language},
  researchr = {https://researchr.org/publication/Wurtz93},
  cites = {0},
  citedby = {0},
  pages = {108-111},
  booktitle = {WLP},
}

runs on WebDSL