Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Self-Verifying Pushdown and Queue Automata.

Fundam. Informaticae. Bd. 180. H. 1-2. 2021 S. 1 - 28

Erscheinungsjahr: 2021

Publikationstyp: Zeitschriftenaufsatz

Doi/URN: 10.3233/FI-2021-2032

Volltext über DOI/URN

GeprüftBibliothek

Autoren

Fernau, Henning (Autor)
Kutrib, Martin (Autor)
Wendlandt, Matthias (Autor)

Verknüpfte Personen

Henning Fernau

Beteiligte Einrichtungen

Logo Informatikwissenschaften