Some jump-like operations in β-recursion theory.

Colin G. Bailey

Published in: J. Symb. Log. (2013)

Keyphrases

transitive closure
markov chain
theoretical framework
general theory
real time
real world
genetic algorithm
machine learning
case study
image segmentation
multiscale
relational databases
computational model
deductive databases
theoretical basis
formal theory