C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Axiomatizations and Computability of Weighted Monadic Second-Order Logic.
Antonis Achilleos
Mathias Ruggaard Pedersen
Published in:
LICS (2021)
Keyphrases
</>
monadic second order logic
decision procedures
data sets
metadata
pattern matching
data complexity