Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
-- Reversible causal graph dynamics -- Boosting Reversible Pushdown Machines By Preprocessing -- Reversible
Yazar
Krivine, Jean. editor.
Format:
Electronic Resources
Alıntı:
particularly includes the following topics: reversible machines, reversible languages, design and verification
View Other Search Results
3.
Yazar
Calude, Cristian S. editor.
Format:
Electronic Resources
Alıntı:
Counterexamples -- One-Sided Random Context Grammars -- How Can We Construct Reversible Machines out of Reversible