Artikel in einem Konferenzbericht,

Equivalence Checking of Prefix-Free Transducers and Deterministic Two-Tape Automata.

.
LATA, Volume 11417 von Lecture Notes in Computer Science, Seite 146-158. Springer, (2019)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen