Comparing Inductive and Circular Definitions: Parameters, Complexity and Games

Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip D. Welch. Comparing Inductive and Circular Definitions: Parameters, Complexity and Games. Studia Logica, 81(1):79-98, 2005. [doi]

Abstract

Abstract is missing.