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

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.

Abstract is missing.

runs on WebDSL