Term Declaration Logic and Generalised Composita

Published in: LICS (1991)

Keyphrases

logic programming
classical logic
automated reasoning
modal logic
computational properties
defeasible logic
digital circuits
formal theory
epistemic logic
multi agent
cost function
theorem proving
document representation
predicate logic
asynchronous circuits