- J. A. Bergstra, J. Heering, and P. Klint. Module algebra.
Journal of the ACM, 37(2):335-372, April 1990.
Citations.
- J. C. M. Baeten, J. A. Bergstra, and J. W. Klop. Decidability of bisimulation
equivalence for processes generating context-free languages.
Journal of the ACM, 40(3):653-682, July 1993.
References
and Citations.
- J. A. Bergstra and J. V. Tucker. Equational specifications,
complete term rewriting systems, and computable and semicomputable
algebras. Journal of the ACM, 42(6):1194-1230, November
1995.
References,
Citations,
etc.
Shortcuts: