One-Variable Logic Meets Presburger Arithmetic

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen

Beitragende

Originalsprache	Englisch
Fachzeitschrift	Theoretical computer science : the journal of the EATCS
Jahrgang	802
Ausgabenummer	141-146
Publikationsstatus	Veröffentlicht - 1 Jan. 2020
Peer-Review-Status	Nein

Scopus	85072570803