The Equational Logic of Iterative Processes.

Stephen L. Bloom

Published in: FCT (1989)

Keyphrases

logic programming
theorem proving
logic programs
modal logic
automated reasoning
horn clauses
classical logic
lattice theory
decision making
data driven
computational properties
digital circuits