Login / Signup

Inductive Definitions Over Finite Structures

Daniel Leivant
Published in: Inf. Comput. (1990)
Keyphrases