On the Equivalence of Deferred Substitution and Immediate Substitution Semantics for Logic Programs - researchr publication

researchr

You are not signed in
Sign in
Sign up

Amir Rahat, Nissim Francez, Oded Shmueli. On the Equivalence of Deferred Substitution and Immediate Substitution Semantics for Logic Programs. In Jan van Eijck, editor, Logics in AI, European Workshop, JELIA 90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings. Volume 478 of Lecture Notes in Computer Science, pages 454-471, Springer, 1990.

Abstract is missing.

runs on WebDSL