Compatible Orderings on the Metric Theory of Trees
- 1 November 1980
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 9 (4), 683-691
- https://doi.org/10.1137/0209052
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- All solutions of a system of recursion equations in infinite trees and other contraction theoriesJournal of Computer and System Sciences, 1983
- Vector Iteration in Pointed Iterative TheoriesSIAM Journal on Computing, 1980
- On the algebraic structure of rooted treesJournal of Computer and System Sciences, 1978
- A compactification of the algebra of termsAlgebra universalis, 1976
- Erratum and Corrigendum for "Structured Programming With and Without GO TO Statements"IEEE Transactions on Software Engineering, 1976
- Program equivalence and context-free grammarsJournal of Computer and System Sciences, 1975
- Monadic Computation And Iterative Algebraic TheoriesPublished by Elsevier ,1975
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIESProceedings of the National Academy of Sciences, 1963