scientific article; zbMATH DE number 1497840

zbMATH Open0958.68035MaRDI QIDQ4499267FDOQ4499267

Authors: Mutsunori Banbara, Naoyuki Tamura 

Publication date: 6 March 2001

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

JavaProlog Café

Mathematics Subject Classification ID

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

Cites Work

• Linear logic
• Logic programming in a fragment of intuitionistic linear logic
• Logic Programming with Focusing Proofs in Linear Logic
• Forum: A multiple-conclusion specification logic
• Title not available (Why is that?)

Cited In (2)

• Design for AJACS, yet another Java constraint programming framework
• Title not available (Why is that?)

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)