scientific article; zbMATH DE number 1420807

MaRDI QIDQ4944872zbMATH OpenFDO

Authors Joshua S. Hodas, Kevin Watkins, Naoyuki Tamura, Kyoung-Sun Kang

Publication date 22 March 2000

zbMATH Keywords

linear logiclogic programming languagesWAM

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Recommendations

• Efficient resource management for linear logic proof search
• scientific article; zbMATH DE number 1948161
• scientific article; zbMATH DE number 1405458
• scientific article; zbMATH DE number 1497840
• Linear Logical Algorithms

Cited in

(10)

• LMNtal as a hierarchical logic programming language
• Efficient resource management for linear logic proof search
• Forward and backward chaining in linear logic. (Extended abstract)
• A linear logic programming language for concurrent programming over graph structures
• Linear Logical Algorithms
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• scientific article; zbMATH DE number 1497840 (Why is no real title available?)
• scientific article; zbMATH DE number 1497841 (Why is no real title available?)
• scientific article; zbMATH DE number 2085286 (Why is no real title available?)
• scientific article; zbMATH DE number 1392290 (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 Q4944872)