Compatible Orderings on the Metric Theory of Trees

DOI10.1137/0209052zbMath0447.05026OpenAlexW2042508971MaRDI QIDQ3892264

Ralph Tindell, Stephen L. Bloom

Publication date: 1980

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0209052

zbMATH Keywords

partial orderingrooted labeled trees

Mathematics Subject Classification ID

Partial orders, general (06A06) Trees (05C05)

Related Items (4)

Equivalences and transformations of regular systems - applications to recursive program schemes and grammars ⋮ Program correctness and matricial iteration theories ⋮ Equational logic of circular data type specification ⋮ Fundamental properties of infinite trees

This page was built for publication: Compatible Orderings on the Metric Theory of Trees