scientific article; zbMATH DE number 1479612

MaRDI QIDQ4490724zbMATH OpenFDO

Authors Alain Hui-Bon-Hoa

Publication date 20 July 2000

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
• scientific article; zbMATH DE number 1292286

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:

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