Splitting Theorems in Recursion Theory.

Rodney G. Downey Michael Stob

Published in: Ann. Pure Appl. Logic (1993)

Keyphrases

theoretical framework
theoretical basis
image processing
databases
database
decision making
website
evolutionary algorithm
special case
mobile robot
computational model
probability theory
formal theory