Fixed-parameter decidability: Extending parameterized complexity analysis.

Jouke Witteveen Leen Torenvliet

Published in: Math. Log. Q. (2016)

Keyphrases

complexity analysis
theoretical analysis
lower bound
first order logic
description logics
query answering
computational complexity
artificial intelligence
programming language
decision procedures