Logic Programming with Polymorphically Order-Sorted Types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gert Smolka. Logic Programming with Polymorphically Order-Sorted 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 53-70, Springer, Gaussig, GDR, 1988.

This author has not been identified. Look up 'Gert Smolka' in Google

runs on WebDSL