On Reversible Combinatory Logic.

Alessandra Di Pierro Chris Hankin Herbert Wiklicky

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

cellular automata
classical logic
logic programming
markov chain
modal logic
multi valued
nonmonotonic logics
probabilistic logic
linear temporal logic
proof theory
modal operators
digital circuits
automated reasoning
case study
database
deontic logic
asynchronous circuits
learning algorithm