The PubPeer database contains all articles.
To leave the first comment on a specific article, paste a unique identifier such as a DOI, PubMed ID, or arXiv ID into the search bar.
Benedikt Bollig, Marie Fortin, Paul Gastin
Search publications for: arxiv:1709.09991 1 result
Communicating Finite-State Machines and Two-Variable Logic
Benedikt Bollig, Marie Fortin, Paul Gastin