Operational complexity and pumping lemmas.

Jürgen Dassow Ismaël Jecker

Published in: Acta Informatica (2022)

Keyphrases

decision making
theorem proving
information systems
image processing
clustering algorithm
multi agent
computational complexity
lower bound
relational databases