Enumeration of Generalized BCI Lambda-terms.

Olivier Bodini Danièle Gardy Bernhard Gittenberger Alice Jacquot

Published in: Electron. J. Comb. (2013)

Keyphrases

real time
dynamic programming
signal processing
databases
co occurrence
fixed point