Skolem Machines and Geometric Logic.

John Fisher, Marc Bezem

Browse the full ICTAC paper archive.