A simple lamda-term representing the predecessor function with respect to church numerials.

Friedrich J. Urbanek

Published in: Bull. EATCS (1993)

Keyphrases

databases
real time
artificial intelligence
image segmentation
wide range
artificial neural networks
query processing
special case
probabilistic model
information extraction
medical images
language model
query expansion