A categorical foundation for structured reversible flowchart languages: Soundness and adequacy.

Robert Glück Robin Kaarsgaard

Published in: CoRR (2017)

Keyphrases

cellular automata
markov chain
expressive power
structured data
structured queries
language independent
xml files
databases
theoretical foundation
neural network
real world
artificial intelligence
genetic algorithm
information retrieval
target language
numerical data
language identification