Ackermann's function in iterative Form: a Proof Assistant Experiment.

Lawrence C. Paulson

Published in: Bull. Symb. Log. (2021)

Keyphrases

medical images
data sets
data structure
search algorithm
digital libraries
expert systems
relational databases
special case
data driven
test bed