Login / Signup
On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth (Extended Abstract).
Uffe Flarup
Laurent Lyaudet
Published in:
CSR (2008)
Keyphrases
</>
extended abstract
expressive power
bounded treewidth
query language
first order logic
data complexity
computational properties
transitive closure
relational algebra
np complete
propositional logic
machine learning
logic programs
monadic second order logic