A term calculus for (co-)recursive definitions on streamlike data structures.

Wilfried Buchholz

Published in: Ann. Pure Appl. Log. (2005)

Keyphrases

data structure
efficient data structures
suffix tree
data sets
databases
data types
hash table
database
neural network
objective function
multidimensional data
recursive algorithm
automated deduction