Showing 1 - 2 results of 2 for search 'Robert Glück', query time: 0.02s Refine Results
  1. 1
    Simulation of Two-Way Pushdown Automata Revisited

    Simulation of Two-Way Pushdown Automata Revisited by Robert Glück

    Published 2013-09-01
    Get full text
    Article
  2. 2
    A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

    A categorical foundation for structured reversible flowchart languages: Soundness and adequacy by Robert Glück, Robin Kaarsgaard

    Published 2018-09-01
    Get full text
    Article

Search Tools: