scientific article; zbMATH DE number 7795664
From MaRDI portal
Publication:6183282
arXiv2301.06344MaRDI QIDQ6183282FDOQ6183282
Authors: Valentin Goranko, Ruaan Kellerman, Alberto Zanardo 
Publication date: 26 January 2024
Full work available at URL: https://arxiv.org/abs/2301.06344
Title of this publication is not available (Why is that?)
Cites Work
- Fundamentals of parameterized complexity
- Graph structure and monadic second-order logic. A language-theoretic approach
- Title not available (Why is that?)
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Trees and ultrametric spaces: A categorical equivalence
- Trees, ultrametrics, and noncommutative geometry
- On some non-Archimedian spaces of Alexandroff and Urysohn
- Title not available (Why is that?)
- The category of ultrametric spaces is isomorphic to the category of complete, atomic, tree-like, and real graduated lattices LAT\(^*\)
- Trees
- Topological aspects of branching-time semantics
- First-order theories of bounded trees
- From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
- Classes and theories of trees associated with a class of linear orders
- On $ℵ_0$-categoricity and the theory of trees
- Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6183282)
