Login / Signup
Computing with Logic as Operator Elimination: The ToyElim System
Christoph Wernhard
Published in:
CoRR (2011)
Keyphrases
</>
automated reasoning
image processing
classical logic
elimination algorithm
information retrieval
logic programming
modal logic
multi valued
predicate logic
modal operators