next up previous
Next: 3.1 Relations Up: The Omega Calculator Previous: 2 Omega Calculator invocation

3 Relational Expression syntax and semantics





omega@cs.umd.edu