A Examples
Published online by Cambridge University Press: 23 November 2009
Summary

- Type
- Chapter
- Information
- Logic ProgrammingOperational Semantics and Proof Theory, pp. 95 - 102Publisher: Cambridge University PressPrint publication year: 1992