scientific article; zbMATH DE number 1497840

MaRDI QIDQ4499267zbMATH OpenFDO

Authors Mutsunori Banbara, Naoyuki Tamura

Publication date 6 March 2001

zbMATH Keywords

JavaProlog Café

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1420807
• Efficient resource management for linear logic proof search
• scientific article; zbMATH DE number 1405458
• scientific article; zbMATH DE number 1765708

Cites work

• Forum: A multiple-conclusion specification logic
• scientific article; zbMATH DE number 1420807 (Why is no real title available?)
• Linear logic
• Logic programming in a fragment of intuitionistic linear logic
• Logic Programming with Focusing Proofs in Linear Logic

Cited in

(2)

• Design for AJACS, yet another Java constraint programming framework
• scientific article; zbMATH DE number 1420807 (Why is no real title available?)

Describes a project that uses

Uses Software

• Lolli

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 Q4499267)