next up previous
Next: Second Schema Meeting (2 Up: Report on First Schema Previous: Revisiting Sebastian's thesis with

Decidability of Freeness


s.danicic@gold.ac.uk
Seb's Home Page
Last updated 2007-04-30