The Variable Membership Problem: Succinctness Versus Complexity.

Gerhard Buntrock Krzysztof Lorys

Published in: STACS (1994)

Keyphrases

metadata
multi agent
modal logic
similarity measure
image sequences
computational complexity
worst case
decision problems
space complexity