Reversible Flowchart Languages and the Structured Reversible Program Theorem.

Tetsuo Yokoyama Holger Bock Axelsen Robert Glück

Published in: ICALP (2) (2008)

Keyphrases

markov chain
cellular automata
computer programs
expert systems
expressive power
reversible watermarking
real time
data mining
information retrieval
case study
state space
structured data
structured queries