Register Automata with Extrema Constraints, and an Application to Two-Variable Logic

DOI10.1145/3373718.3394748MaRDI QIDQ5145687zbMATH OpenOpenAlexWikidataFDO

Authors Szymon Toruńczyk, Thomas Zeume

Publication date 21 January 2021

Published in Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2101.03866

zbMATH Keywords

decidabilitytwo-variable logicregister automata

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Register automata with extrema constraints, and an application to two-variable logic
• Presburger Büchi tree automata with applications to logics with expressive counting
• Two-variable logic with counting and a linear order
• Extending two-variable logic on trees
• Alternating register automata on finite words and trees

Cited in

(2)

• scientific article; zbMATH DE number 7566055 (Why is no real title available?)
• Presburger Büchi tree automata with applications to logics with expressive counting

This page was built for publication: Register Automata with Extrema Constraints, and an Application to Two-Variable Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145687)