Forms of Logic Specifications: A Preliminary Study - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kung-Kiu Lau, Mario Ornaghi. Forms of Logic Specifications: A Preliminary Study. In John P. Gallagher, editor, Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR 96, Stockholm, Sweden, August 28-30, 1996, Proceedings. Volume 1207 of Lecture Notes in Computer Science, pages 295-312, Springer, 1996.

This author has not been identified. Look up 'Kung-Kiu Lau' in GoogleThis author has not been identified. Look up 'Mario Ornaghi' in Google

runs on WebDSL