scientific article; zbMATH DE number 1948162
From MaRDI portal
Publication:4411823
zbMath1020.03508MaRDI QIDQ4411823
Daniel Méry, Didier Galmiche, David J. Pym
Publication date: 10 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2471/24710183.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
Related Items
A logic of separating modalities, A calculus and logic of resources and processes, On Model Checking Boolean BI, Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic, On Symbolic Heaps Modulo Permission Theories
