wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

counter_automata_trees (206B)

      1 # Counter automata trees
      2 
      3 - [herrmann2024global] https://arxiv.org/html/2406.15090v1 [one_counter_automata] with one global counter passed in [lexicographic_order]
      4 
      5 Up: [counter_automata], [tree_automaton]