Login / Signup
A Deduction Procedure for First Order Programs.
Denis Lugiez
Published in:
ICLP (1989)
Keyphrases
</>
proof procedure
first order logic
theorem proving
higher order
automatic programming
inference rules
computer programs
term rewriting
databases
programming environment
horn clauses
fixpoint
model theoretic