Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

All content on this site: Copyright © 2026 Sage Publications. All rights reserved. This website is technically supported and operated by China National Publications Import and Export (Group) Co., Ltd. 京ICP备09090397号-11

Search results

Search results page

Articles (3)

Journals (0)

1-3 of 3 results for completeness of SLD-resolution

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Logic Programming from the Perspective of Algebraic Semantics

Free access

Research article

First published November, 1996

Logic Programming from the Perspective of Algebraic Semantics

Jan A. Plaza

Fundamenta Informaticae

Select article: Meta-variables in Logic Programming,or in Praise of Ambivalent Syntax

Free access

Research article

First published November, 1996

Meta-variables in Logic Programming,or in Praise of Ambivalent Syntax

Krzysztof R. Apt, Rachel Ben-Eliyahu

Fundamenta Informaticae

Select article: A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs

Restricted access

Research article

First published May, 2003

A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs

Linh Anh Nguyen

Fundamenta Informaticae

1
10 / page

Filter Results

Article type

Publication date

Subjects

Access