next up previous
Next: Examples Up: A declarative approach towards Previous: Semantics of the Underlying


Applications and Availability

We illustrate the entire mechanism by a number of examples.

Subsections

Sunil Kothari 2006-04-29