Results (8)

  • Nested weighted automata
    Conference paper
  • Edit distance for pushdown automata
    Conference paper