Nondeterminism through well-founded choice

DOI10.1016/0743-1066(95)00091-7MaRDI QIDQ3128614zbMATH OpenOpenAlexFDO

Authors Weidong Chen, Jinghong Zeng

Publication date 17 April 1997

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(95)00091-7

zbMATH Keywords

well-founded choice semantics

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3894449
• scientific article; zbMATH DE number 1759622
• On the Succinctness of Nondeterminism
• Towards separating nondeterminism from determinism
• The epistemology of nondeterminism
• The epistemology of nondeterminism
• scientific article; zbMATH DE number 176517
• Nondeterminism within $P^ * $
• Making Nondeterminism Unambiguous

This page was built for publication: Nondeterminism through well-founded choice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3128614)