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