On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021) |
| Redakteure/-innen | Mikołaj Bojańczyk, Chandra Chekuri |
| Herausgeber (Verlag) | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing |
| Band | 213 |
| Publikationsstatus | Veröffentlicht - 1 Dez. 2021 |
| Peer-Review-Status | Ja |
Externe IDs
| Scopus | 85122473826 |
|---|