A Logic of Coequations.

Published in: CSL (2005)

Keyphrases

multi valued
modal logic
classical logic
defeasible logic
real time
neural network
query language
computational properties
digital circuits
formal language
formal theory
logic synthesis