Login / Signup
Soundness and Completeness of UNITY Logic.
Edgar Knapp
Published in:
FSTTCS (1994)
Keyphrases
</>
classical logic
modal logic
logic programming
information systems
probabilistic logic
digital circuits
predicate logic
real time
clustering algorithm
search algorithm
computational properties
defeasible logic
logic synthesis