scientific article; zbMATH DE number 1497841

zbMath0958.68027MaRDI QIDQ4499269

Naoyuki Tamura, Kyoung-Sun Kang

Publication date: 6 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear logic programming language

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• Lolli

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Forum: A multiple-conclusion specification logic
• Logic programming in a fragment of intuitionistic linear logic
• Uniform proofs as a foundation for logic programming
• Grammar Analysis and Parsing by Abstract Interpretation
• Abstract interpretation and application to logic programs
• Logic Programming with Focusing Proofs in Linear Logic