Intuitionistic resolution for a logic programming language with scoping constructs

DOI10.1007/3-540-57887-0_93MaRDI QIDQ4490724zbMATH OpenFDO

Authors Alain Hui-Bon-Hoa

Publication date 20 July 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-57887-0_93

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Scoping constructs in logic programming: Implementation problems and their solution
• Extensions to logic programming motivated by the construction of a generic theorem prover
• scientific article; zbMATH DE number 512898
• scientific article; zbMATH DE number 683345
• Disjunctive logic programming, constructivity and strong negation

Cited in

(2)

• Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures
• scientific article; zbMATH DE number 1543038 (Why is no real title available?)

This page was built for publication: Intuitionistic resolution for a logic programming language with scoping constructs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4490724)