Printed as Report TR 91-05. Maher, M. J. (1988). Complete axiomatizations of the algebras of finite, rational and infinite trees, Proceedings, Third Annual Symposium on Logic in Computer Science, IEEE Computer Society, Edinburgh, Scotland, pp. 348--357. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Soundness, Idempotence and Commutativity of Set-Sharing - Hill, Bagnara, Zaffanella (Correct)
No context found.
Printed as Report TR 91-05. Maher, M. J. (1988). Complete axiomatizations of the algebras of finite, rational and infinite trees, Proceedings, Third Annual Symposium on Logic in Computer Science, IEEE Computer Society, Edinburgh, Scotland, pp. 348--357.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC