On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Contributors
Details
Original language | English |
---|---|
Title of host publication | Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021) |
Editors | Mikołaj Bojańczyk, Chandra Chekuri |
Publisher | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing |
Volume | 213 |
Publication status | Published - 1 Dec 2021 |
Peer-reviewed | Yes |
External IDs
Scopus | 85122473826 |
---|