Algebraic Tools for System Construction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jan A. Bergstra, Jan Willem Klop, J. V. Tucker. Algebraic Tools for System Construction. In Edmund M. Clarke, Dexter Kozen, editors, Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings. Volume 164 of Lecture Notes in Computer Science, pages 34-44, Springer, 1983.

Identified as Jan A. Bergstra Identified as Jan Willem Klop (VU University Amsterdam )This author has not been identified. Look up 'J. V. Tucker' in Google

runs on WebDSL