All solutions of a system of recursion equations in infinite trees and other contraction theories
- 1 October 1983
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 27 (2) , 225-255
- https://doi.org/10.1016/0022-0000(83)90041-7
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- On the algebraic structure of rooted treesJournal of Computer and System Sciences, 1978
- IO and OI. IIJournal of Computer and System Sciences, 1978
- IO and OI. IJournal of Computer and System Sciences, 1977
- A compactification of the algebra of termsAlgebra universalis, 1976
- Matricial theoriesJournal of Algebra, 1976