next up previous
Next: Implementation Up: Designing MATISSE Previous: Algebra

Semantics



Hassan Ait-Kaci
2001-10-22