• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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