Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness.

Published in: IJCAI (1985)

Keyphrases

natural deduction
cut elimination
modal logic
decision procedures
logic programming
automated reasoning
sequent calculus
proof search
set theory
inference rules
predicate logic
equational theories
data sets
logic synthesis
automated theorem proving
classical logic
logical framework
relational databases