Login / Signup
Monadic Monadic Second Order Logic.
Mikolaj Bojanczyk
Bartek Klin
Julian Salamanca
Published in:
CoRR (2022)
Keyphrases
</>
monadic second order logic
expressive power
data complexity
regular expressions
first order logic
tree automata
query language
pattern matching
query evaluation
natural language
data model
knowledge representation
wordnet
conjunctive queries
finite state