Integrating Logic Programming and Equational Specification of Abstract Data Types - researchr publication

researchr

You are not signed in
Sign in
Sign up

Christoph Beierle, Udo Pletat. Integrating Logic Programming and Equational Specification of Abstract Data Types. In Jan Grabowski, Pierre Lescanne, Wolfgang Wechler, editors, International Workshop on Algebraic and Logic Programming. Volume 343 of Lecture Notes in Computer Science, pages 71-82, Springer, Gaussig, GDR, 1988.

Abstract is missing.

runs on WebDSL