Author:
Bergstra Jan A.,Bethke Inge
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. J.A. Bergstra and J.-W. Klop. Process algebra for synchronous communication. Information and Control, 60(1/3):109–137, 1984.
2. J.A. Bergstra and M.E. Loots. Program algebra for component code. Formal Aspects of Computing, 12(1):1–17, 2000.
3. J.A. Bergstra and M.E. Loots. Program algebra for sequential code. Journal of Logic and Algebraic Programming, 51(2):125–156, 2002.
4. J.A. Bergstra and J.V. Tucker. Equational specifications, complete rewriting systems and computable and semi-computable algebras. Journal of the ACM, 42(6):1194–1230, 1995.
5. I. Bethke. Completion of equational specifications. In Terese, editors, Term Rewriting Systems, Cambridge Tracts in Theoretical Computer Science 55, pages 260–300, Cambridge University Press, 2003.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献