Don't Care Non-determinism in Logic Program Refinement

DOI10.1016/S1571-0661(04)00308-1zbMath1268.68044OpenAlexW2050087473MaRDI QIDQ2841262

Robert J. Colvin, David Hemer, Ian J. Hayes, Paul A. Strooper

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00308-1

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Lambda-confluence for context rewriting systems

Cites Work

• Refinement Calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Don't Care Non-determinism in Logic Program Refinement