State Constraints Revisited

Abstract

Journal Article State Constraints Revisited Get access FANGZEN LIN, FANGZEN LIN Department of Computer Science, University of TorontoToronto, Canada M5S 1A4 E-mail: [e-mail] Search for other works by this author on: Oxford Academic Google Scholar RAY REITER RAY REITER Department of Computer Science, University of TorontoToronto, Canada M5S 1A4 E-mail: [e-mail] Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 4, Issue 5, October 1994, Pages 655–677, https://doi.org/10.1093/logcom/4.5.655 Published: 01 October 1994 Article history Received: 19 July 1993 Published: 01 October 1994