Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. V. M. Antimirov and P. D. Mosses. Rewriting extended regular expressions. Technical Monograph DAIMI PB-461, Computer Science Dept., Aarhus University, 1993. A short version is to appear in Proc. Conf. on Developments in Language Theory, ed. A. Salomaa, World Scientific Publ.
2. D. Bjørner and C. B. Jones, editors. Formal Specification & Software Development. Prentice-Hall, 1982.
3. J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright. Initial algebra semantics and continuous algebras. J. ACM, 24:68–95, 1977.
4. G. Grätzer. Lattice Theory; First Concepts and Distributive Lattices. W. H. Freeman & Co., 1971.
5. G. Kahn et al. Metal: A formalism to specify formalisms. Sci. Compu. Programming, 3:151–188, 1983.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Higher-order algebra with transfinite types;Higher-Order Algebra, Logic, and Term Rewriting;1996
2. Theory and practice of action semantics;Mathematical Foundations of Computer Science 1996;1996