Iteration 2-Theories: Extended Abstract

Stephen L. Bloom, Anna Labella, Zoltán Ésik, Ernest G. Manes. Iteration 2-Theories: Extended Abstract. In Michael Johnson, editor, Algebraic Methodology and Software Technology, 6th International Conference, AMAST 97, Sydney, Australia, December 13-17, 1997, Proceedings. Volume 1349 of Lecture Notes in Computer Science, pages 30-44, Springer, 1997.

Authors

Stephen L. Bloom

This author has not been identified. Look up 'Stephen L. Bloom' in Google

Anna Labella

This author has not been identified. Look up 'Anna Labella' in Google

Zoltán Ésik

This author has not been identified. Look up 'Zoltán Ésik' in Google

Ernest G. Manes

This author has not been identified. Look up 'Ernest G. Manes' in Google