Uniformization Problems for Synchronizations of Automatic Relations on Words

Winter, Sarah (Corresponding author)

Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing (2018)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 45th International Colloquium on Automata, Languages, and Programming : ICALP 2018, Prague, Czech Republic, July 9-13, 2018 / edited by Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, Donald Sannella ; European Association for Theoretical Computer Science (EATCS)
Seite(n)/Artikel-Nr.: 142, [1]-13

Einrichtungen

  • Fachgruppe Informatik [120000]
  • Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) [122910]

Identifikationsnummern