Similar Items: Axiomatization of betweenness in order-theoretic trees
- Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
- Axiomatizing Hybrid XPath with Data
- An Axiomatic Definition of Hierarchical Clustering
- Axiomatizing Maximal Progress and Discrete Time
- Arboreal Categories: An Axiomatic Theory of Resources
- Impure Simplicial Complexes: Complete Axiomatization