Login / Signup

Axiomatizations and Computability of Weighted Monadic Second-Order Logic.

Antonis AchilleosMathias Ruggaard Pedersen
Published in: LICS (2021)
Keyphrases
  • monadic second order logic
  • decision procedures
  • data sets
  • metadata
  • pattern matching
  • data complexity