Modulo Counting on Words and Trees

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publication37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017)
EditorsSatya Lokam, R. Ramanujam
Place of PublicationDagstuhl, Germany
PublisherSchloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Pages12:1-12:16
Volume93
ISBN (print)978-3-95977-055-2
Publication statusPublished - 2018
Peer-reviewedYes

External IDs

Scopus 85043993703