Finite-cofinite program relations

DOI10.1093/JIGPAL/7.2.153MaRDI QIDQ4237678zbMATH OpenOpenAlexFDO

Authors Chris Brink, Ingrid Rewitzky

Publication date 13 December 1999

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/7.2.153

zbMATH Keywords

cofinite nondeterminismfinite nondeterminism

Mathematics Subject Classification ID

Logic in computer science (03B70) General topics in the theory of software (68N01) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3894449
• scientific article; zbMATH DE number 3980463
• A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
• Two most nondeterministic programs
• A representable approach to finite nondeterminism

Cited in

(5)

• Cardinalities of Finite Relations in Coq
• scientific article; zbMATH DE number 3936483 (Why is no real title available?)
• scientific article; zbMATH DE number 3980463 (Why is no real title available?)
• scientific article; zbMATH DE number 4049003 (Why is no real title available?)
• scientific article; zbMATH DE number 3894449 (Why is no real title available?)

This page was built for publication: Finite-cofinite program relations

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