Connecting Decidability and Complexity for MSO Logic.

Michal Skrzypczak

Published in: DLT (2017)

Keyphrases

description logics
computational properties
worst case
space complexity
computational complexity
query answering
regular expressions
logical framework
artificial intelligence
np hard
logic programs
expressive power
multi valued
monadic second order logic