Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Udo Pletat. Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs. In Thomas Christaller, editor, Künstliche Intelligenz, 5. Frühjahrsschule, KIFS-87, Günne, 28. März - 5. April 1987, Proceedings. Volume 202 of Informatik-Fachberichte, pages 42-64, Springer, 1987.

This author has not been identified. Look up 'Udo Pletat' in Google

runs on WebDSL