A variant of inductive counting

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

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.