Decidability of Freeness of Linear Schemas

John thinks he can do this!



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