scientific article; zbMATH DE number 1420807

zbMATH Open0949.68023MaRDI QIDQ4944872FDOQ4944872

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

Publication date: 22 March 2000

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

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

zbMATH Keywords

linear logiclogic programming languagesWAM

Mathematics Subject Classification ID

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

Cited In (8)

• A linear logic programming language for concurrent programming over graph structures
• Forward and backward chaining in linear logic. (Extended abstract)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• LMNtal as a hierarchical logic programming language
• Linear Logical Algorithms
• Title not available (Why is that?)

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)