scientific article; zbMATH DE number 1765675

zbMath0988.68508MaRDI QIDQ4539612

Pablo A. Armelín, David J. Pym

Publication date: 10 July 2002

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

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

Mathematics Subject Classification ID

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

Related Items (6)

A neural implementation of multi-adjoint logic programming ⋮ Temporal BI: proof system, semantics and translations ⋮ Logical approximation for program analysis ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Focused proof-search in the logic of bunched implications ⋮ Possible worlds and resources: The semantics of \(\mathbf{BI}\)

This page was built for publication: