One-Variable Logic Meets Presburger Arithmetic

Research output: Contribution to journal › Research article › Contributed

Contributors

Details

Original languageEnglish
JournalTheoretical computer science : the journal of the EATCS
Volume802
Issue number141-146
Publication statusPublished - 1 Jan 2020
Peer-reviewedNo

External IDs

Scopus 85072570803

Keywords