Login / Signup
Recursion Schemes, the MSO Logic, and the U quantifier.
Pawel Parys
Published in:
CoRR (2018)
Keyphrases
</>
monadic second order logic
logic programming
finite state
expressive power
deductive databases
multi valued
complex objects
markov decision processes
regular expressions
probability theory
predicate logic
asynchronous circuits
quantifier elimination
modal logic
query language
deontic logic
linear logic
fuzzy logic