A variant of inductive counting

Viliam Geffert. A variant of inductive counting. Theoretical Computer Science, 237(1-2):465-475, 2000. [doi]

Abstract

Abstract is missing.