Login / Signup
Rewriting modulo in Deduction modulo
Frédéric Blanqui
Published in:
CoRR (2006)
Keyphrases
</>
databases
social networks
information systems
image processing