scientific article; zbMATH DE number 1765675

MaRDI QIDQ4539612zbMATH OpenFDO

Authors Pablo A. Armelín, David Pym

Publication date 10 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830289

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1231702
• The Logic of Bunched Implications
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Logic programming in a fragment of intuitionistic linear logic
• The semantics of BI and resource tableaux

Cited in

(8)

• Temporal BI: proof system, semantics and translations
• Focused proof-search in the logic of bunched implications
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
• Logical approximation for program analysis
• An algebraic glimpse at bunched implications and separation logic
• scientific article; zbMATH DE number 1761431 (Why is no real title available?)
• A neural implementation of multi-adjoint logic programming

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