An Approach to Placement-Coupled Logic Replication.

Milos Hrkic John Lillis Giancarlo Beraudo

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2006)

Keyphrases

logic programming
classical logic
fault tolerant
digital circuits
distributed databases
modal logic
data replication
set theory
epistemic logic
multi agent systems
peer to peer
fault tolerance
automated reasoning
computational properties
truth values
deductive reasoning