Proof theory and a validation condition generator for VHDL.

Luis Sánchez Fernández Peter T. Breuer Carlos Delgado Kloos

Published in: EURO-DAC (1994)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
sufficient conditions
belief revision
nonmonotonic reasoning
artificial intelligence
learning algorithm
computational complexity