scientific article; zbMATH DE number 7795664
From MaRDI portal
Publication:6183282
arXiv2301.06344MaRDI QIDQ6183282
Alberto Zanardo, Valentin F. Goranko, Ruaan Kellerman
Publication date: 26 January 2024
Full work available at URL: https://arxiv.org/abs/2301.06344
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Fundamentals of parameterized complexity
- Trees, ultrametrics, and noncommutative geometry
- On some non-Archimedian spaces of Alexandroff and Urysohn
- Topological aspects of branching-time semantics
- Trees and ultrametric spaces: A categorical equivalence
- First-order theories of bounded trees
- The category of ultrametric spaces is isomorphic to the category of complete, atomic, tree-like, and real graduated lattices LAT\(^*\)
- Classes and theories of trees associated with a class of linear orders
- From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
- On $ℵ_0$-categoricity and the theory of trees
- APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Trees
- Unnamed Item
- Unnamed Item
- Unnamed Item
