Towards resource handling in logic programming: The PPL framework and fits semantics

DOI10.1016/S0096-0551(96)00007-0MaRDI QIDQ3124453zbMATH OpenOpenAlexWikidataFDO

Authors Jean-Marie Jacquet, Luís Monteiro

Publication date 13 March 1997

Published in Computer Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0096-0551(96)00007-0

zbMATH Keywords

logic programmingresource handlingsemantics

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1761431
• scientific article; zbMATH DE number 1765675
• Efficient resource management for linear logic proof search
• Isolating resource consumption in linear logic proof search (extended abstract)

Cited in

(2)

• scientific article; zbMATH DE number 1761431 (Why is no real title available?)
• scientific article; zbMATH DE number 1890623 (Why is no real title available?)

This page was built for publication: Towards resource handling in logic programming: The PPL framework and fits semantics

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