Recent Trends in Algebraic Development Techniques : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, revised Selected Papers

Recent Trends in Algebraic Development Techniques 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, revised Selected Papers

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: WADT (VerfasserIn)
Weitere Verfasser: Roggenbach, Markus (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2021
Schriftenreihe:Lecture notes in computer science 12669
Schlagworte:
Konferenzschrift > Automatentheorie > Algebra > Mathematische Logik
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:viii, 163 Seiten
ISBN:9783030737849
978-3-030-73784-9