Definability, automorphisms, and dynamic properties of computably enumerable sets.

Leo Harrington Robert I. Soare

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

Keyphrases

desirable properties
dynamically changing
dynamic behavior
database
artificial intelligence
image segmentation
multiscale
inductive inference