Finite-cofinite program relations

DOI10.1093/JIGPAL/7.2.153zbMath0927.68013OpenAlexW2053583182MaRDI QIDQ4237678

Chris Brink, Ingrid Rewitzky

Publication date: 13 December 1999

Published in: Logic Journal of 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) Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01)

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