On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics

Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributedpeer-review

Contributors

Details

Original languageEnglish
Title of host publicationProceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)
EditorsMikołaj Bojańczyk, Chandra Chekuri
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Volume213
Publication statusPublished - 1 Dec 2021
Peer-reviewedYes

External IDs

Scopus 85122473826