General Recursion on Second Order Term Algebras.

Alessandro Berarducci Corrado Böhm

Published in: RTA (2001)

Keyphrases

special case
higher order
closely related
information systems
social networks
image processing
np complete
complex objects