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

DOI10.1145/3373718.3394748OpenAlexW3030301544WikidataQ130828965 ScholiaQ130828965MaRDI QIDQ5145687FDOQ5145687

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

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

zbMATH Keywords

decidabilitytwo-variable logicregister automata

Mathematics Subject Classification ID

Computer science (68-XX)

Cited In (2)

• Title not available (Why is that?)
• 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)