Order-theoretic Trees: Monadic Second-order Descriptions and Regularity
From MaRDI portal
Publication:5038567
DOI10.3233/FI-222120OpenAlexW3211593247MaRDI QIDQ5038567
Publication date: 7 October 2022
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2111.04083
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday
- Several notions of rank-width for countable graphs
- On the structure of graphs in the Caucal hierarchy
- Fundamental properties of infinite trees
- Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer.
- The modular decomposition of countable graphs. Definition and construction in monadic second-order logic
- Monadic second-order definable graph orderings
- On frontiers of regular trees
- Finite automata and the logic of one-place predicates
This page was built for publication: Order-theoretic Trees: Monadic Second-order Descriptions and Regularity
