A Theory of First-Order Built-in s of Prolog - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi. A Theory of First-Order Built-in s of Prolog. In Hélène Kirchner, Giorgio Levi, editors, Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings. Volume 632 of Lecture Notes in Computer Science, pages 69-83, Springer, 1992.

This author has not been identified. It may be one of the following persons:

Krzysztof R. Apt

Look up 'Krzysztof R. Apt' in GoogleThis author has not been identified. Look up 'Elena Marchiori' in GoogleThis author has not been identified. Look up 'Catuscia Palamidessi' in Google

runs on WebDSL