Nondeterminism and infinite computations in constraint programming

This publication has 9 references indexed in Scilit:

• Semantic models for concurrent logic languages
  Theoretical Computer Science, 1991
• Declarative modeling of the operational behavior of logic languages
  Theoretical Computer Science, 1989
• The family of concurrent logic programming languages
  ACM Computing Surveys, 1989
• Contributions to the semantics of logic perpetual processes
  Acta Informatica, 1988
• Toward a declarative semantics for infinite objects in logic programming
  The Journal of Logic Programming, 1988
• Constraint logic programming
  Published by Association for Computing Machinery (ACM) ,1987
• Processes and the denotational semantics of concurrency
  Information and Control, 1982
• Power domains
  Journal of Computer and System Sciences, 1978
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976