Reversible combinatory logic.

Alessandra Di Pierro Chris Hankin Herbert Wiklicky

Published in: Math. Struct. Comput. Sci. (2006)

Keyphrases

classical logic
markov chain
logic programming
cellular automata
multi valued
proof theory
predicate logic
neural network
case study
automated reasoning
logic synthesis
set theory
digital circuits
linear temporal logic
real time
deontic logic
abductive reasoning
computational properties
logical framework
data sets