scientific article; zbMATH DE number 7795664

MaRDI QIDQ6183282zbMATH OpenFDO

Authors Valentin Goranko, Ruaan Kellerman, Alberto Zanardo

Publication date 26 January 2024

Full work available at URL https://arxiv.org/abs/2301.06344, https://cdm.ucalgary.ca/article/view/74004

zbMATH Keywords

treebranchingpartial ordercondensed treetree condensation

Mathematics Subject Classification ID

Partial orders, general (06A06)

Cites work

• scientific article; zbMATH DE number 3888510 (Why is no real title available?)
• scientific article; zbMATH DE number 3767656 (Why is no real title available?)
• Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees
• Classes and theories of trees associated with a class of linear orders
• Decidability of Second-Order Theories and Automata on Infinite Trees
• First-order theories of bounded trees
• From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
• Fundamentals of parameterized complexity
• Graph structure and monadic second-order logic. A language-theoretic approach
• On $ℵ_0$-categoricity and the theory of trees
• On some non-Archimedian spaces of Alexandroff and Urysohn
• The category of ultrametric spaces is isomorphic to the category of complete, atomic, tree-like, and real graduated lattices LAT\(^*\)
• Topological aspects of branching-time semantics
• Trees
• Trees and ultrametric spaces: A categorical equivalence
• Trees, ultrametrics, and noncommutative geometry

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)