A Calculus for Local Reversibility.

Stefan Kuhn Irek Ulidowski

Published in: RC (2016)

Keyphrases

markov chain
automated deduction
computer algebra
expressive power
markov processes
machine learning
image sequences
bayesian networks
first order logic
formal language
relational calculus
natural deduction
algebraic structure