A predicative analysis of structural recursion.

Andreas Abel Thorsten Altenkirch

Published in: J. Funct. Program. (2002)

Keyphrases

artificial intelligence
pattern recognition
data analysis
trade off
control system
statistical analysis
structural analysis
wide range
information technology
evolutionary algorithm
query processing