Functions with local state: Regularity and undecidability.

Andrzej S. Murawski

Published in: Theor. Comput. Sci. (2005)

Keyphrases

real world
data sets
computer vision
image processing
digital libraries
state space
real time
description logics