PP-2004-07: Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip Welch Comparing inductive and circular definitions: parameters, complexity and games 1.Abstract, 2.Full Text (PDF), 3.Full Text (PS). < Back
