Logic Meta-Programming Facilities in LOG - researchr publication

researchr

You are not signed in
Sign in
Sign up

Iliano Cervesato, Gianfranco Rossi. Logic Meta-Programming Facilities in LOG. In Alberto Pettorossi, editor, Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings. Volume 649 of Lecture Notes in Computer Science, pages 148-161, Springer, 1992.

Abstract is missing.

runs on WebDSL