Login / Signup
Modular difference logic is hard
Nikolaj Bjørner
Andreas Blass
Yuri Gurevich
Madan Musuvathi
Published in:
CoRR (2008)
Keyphrases
</>
logic programming
derivation rules
modal logic
multi valued
computational properties
sound and complete axiomatization
data mining
search engine
automated reasoning
classical logic
defeasible logic
nonmonotonic logics
deontic logic
modular structure
deductive reasoning