RPLA 2019: REVERSIBILITY IN PROGRAMMING, LANGUAGES, AND AUTOMATA

This page contains an index consisting of author-provided keywords.

A
atoms of regular languages	Quotients and Atoms of Reversible Languages
automata	Two-Way Quantum and Classical Automata with Advice for Online Minimization Problems
B
bideterministic automaton	Quotients and Atoms of Reversible Languages
F
Formal semantics	Reversible Programs Have Reversible Semantics
I
Iteration	Reversible Programs Have Reversible Semantics
L
left quotients	Quotients and Atoms of Reversible Languages
O
online algorithms	Two-Way Quantum and Classical Automata with Advice for Online Minimization Problems
online minimization problems	Two-Way Quantum and Classical Automata with Advice for Online Minimization Problems
P
Partial injective functions	Reversible Programs Have Reversible Semantics
Q
quantum computation	Two-Way Quantum and Classical Automata with Advice for Online Minimization Problems
R
Recursion	Reversible Programs Have Reversible Semantics
reversible automaton	Quotients and Atoms of Reversible Languages
reversible DFA	Quotients and Atoms of Reversible Languages
reversible language	Quotients and Atoms of Reversible Languages
Reversible languages	Reversible Programs Have Reversible Semantics
reversible NFA	Quotients and Atoms of Reversible Languages
S
streaming algorithms	Two-Way Quantum and Classical Automata with Advice for Online Minimization Problems
T
two-way automata	Two-Way Quantum and Classical Automata with Advice for Online Minimization Problems

Disclaimer | Powered by EasyChair Smart Program