Two variable logic with ultimately periodic counting

DOI10.1137/22m1504792MaRDI QIDQ6573777

Michael Benedikt, Tony Tan, Egor V. Kostylev

Publication date: 17 July 2024

Published in: SIAM Journal on Computing (Search for Journal in Brave)

zbMATH Keywords

Presburger arithmetictwo-variable logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

This page was built for publication: Two variable logic with ultimately periodic counting