Login / Signup
Compositionality of the MSO+U Logic.
Pawel Parys
Published in:
CoRR (2020)
Keyphrases
</>
monadic second order logic
logic programming
multi valued
expressive power
finite state
classical logic
predicate logic
logical framework
set theory
asynchronous circuits
database
artificial intelligence
case study
automated reasoning
formal theory