Similar Items: Interactive Small-Step Algorithms I: Axiomatization
- Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
- Axiomatizing Hybrid XPath with Data
- An Axiomatic Definition of Hierarchical Clustering
- Axiomatizing Maximal Progress and Discrete Time
- Axiomatization of betweenness in order-theoretic trees
- Arboreal Categories: An Axiomatic Theory of Resources