Some Relationships between Logics of Programs and Complexity Theory (Extended Abstract)

Jerzy Tiuryn Pawel Urzyczyn

Published in: FOCS (1983)

Keyphrases

extended abstract
complexity theory
theoretical basis
computational geometry
expressive power
modal logic
computer vision
pairwise
multiresolution
query language