Login / Signup

A variant of inductive counting.

Viliam Geffert
Published in: Theor. Comput. Sci. (2000)
Keyphrases