Login / Signup
Rewritings for Polarized Multiplicative and Exponential Proof Structures.
Christophe Fouqueré
Virgile Mogbil
Published in:
Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
</>
conjunctive queries
query rewriting
np hard
inference rules
theorem prover
theorem proving