A Parameterized View on the Complexity of Dependence Logic.

Juha Kontinen Arne Meier Yasir Mahmood

Published in: LFCS (2022)

Keyphrases

worst case
multiple views
modal logic
automated reasoning
multi valued
database
case study
three dimensional
viewpoint
space complexity
computational properties