Login / Signup
Linear Recursive Functions.
Sandra Alves
Maribel Fernández
Mário Florido
Ian Mackie
Published in:
Rewriting, Computation and Proof (2007)
Keyphrases
</>
recursive functions
inductive inference
closed form
information systems
piecewise linear