Theory Exploration: a role for Model Theory?

Alan Smaill

Browse the full CADE paper archive.