Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. J.W. Thatcher, E.G. Wagner and J.B. Wright. Rational algebraic theories and fixed-point solutions. Proceeding 17th IEEE Symposium on foundations of computing, 1976.
2. Eric Badouel. Algebraically closed theories. full version of the paper, to appear in INRIA report, 1989.
3. B. Courcelle, G. Kahn and J. Vuillemin. Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples. Proc. 2nd ICALP, LNCS 14, 1974.
4. Ph. Darondeau and B. Gamatié. Modelling infinitary behaviours of communicating systems. INRIA report n 749, 1987.
5. Calvin C. Elgot. Monadic computation and iterative algebraic theories. in Proceeding of logic colloquium Bristol, 1973 pp 175–230. North-Holland, Amsterdam, 1975.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algebraically closed theories;Lecture Notes in Computer Science;1989