Some Relationships Between Logics of Programs and Complexity Theory.

Jerzy Tiuryn Pawel Urzyczyn

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

Keyphrases

complexity theory
theoretical basis
computational geometry
expressive power
machine learning
computer vision
moving objects
matching algorithm