AbstractWe study adjunct-elimination results for Context Logic applied to trees, following previous results by Lozes for Separation Logic and Ambient Logic. In fact, it is not possible to prove such elimination results for the original single-holed formulation of Context Logic. Instead, we prove our results for multi-holed Context Logic
We relate Context Logic reasoning about a high-level tree update language with Separation Logic reas...
We relate Context Logic reasoning about a high-level tree update language with Separation Logic reas...
Abstract—We use the recently developed theory of forest algebras to find algebraic characterizations...
AbstractWe study adjunct-elimination results for Context Logic applied to trees, following previous ...
Spatial logics are used to reason locally about disjoint data structures. They consist of standard f...
similar style of reasoning about structured data. They each consist of a structural (separating) com...
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a...
The Ambient Logic (AL) has been proposed for expressing spatial properties of processes of the Mobil...
AbstractThe Ambient Logic (AL) has been proposed for expressing spatial properties of processes of t...
We introduce bag context, a device for regulated rewriting in tree grammars. Rather than being part ...
Summary. The continuation of the sequence of articles on trees (see [2], [3], [4], [5]) and on conte...
We introduce bag context, a device for regulated rewriting in tree grammars. Rather than being part ...
Context-free tree languages play an important role in algebraic semantics and are applied in mathema...
Context dependent rules are an obstacle to cut elimination. A generalised sequent style formulation ...
Abstract. O’Hearn, Reynolds and Yang introduced local Hoare reason-ing about mutable data structures...
We relate Context Logic reasoning about a high-level tree update language with Separation Logic reas...
We relate Context Logic reasoning about a high-level tree update language with Separation Logic reas...
Abstract—We use the recently developed theory of forest algebras to find algebraic characterizations...
AbstractWe study adjunct-elimination results for Context Logic applied to trees, following previous ...
Spatial logics are used to reason locally about disjoint data structures. They consist of standard f...
similar style of reasoning about structured data. They each consist of a structural (separating) com...
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a...
The Ambient Logic (AL) has been proposed for expressing spatial properties of processes of the Mobil...
AbstractThe Ambient Logic (AL) has been proposed for expressing spatial properties of processes of t...
We introduce bag context, a device for regulated rewriting in tree grammars. Rather than being part ...
Summary. The continuation of the sequence of articles on trees (see [2], [3], [4], [5]) and on conte...
We introduce bag context, a device for regulated rewriting in tree grammars. Rather than being part ...
Context-free tree languages play an important role in algebraic semantics and are applied in mathema...
Context dependent rules are an obstacle to cut elimination. A generalised sequent style formulation ...
Abstract. O’Hearn, Reynolds and Yang introduced local Hoare reason-ing about mutable data structures...
We relate Context Logic reasoning about a high-level tree update language with Separation Logic reas...
We relate Context Logic reasoning about a high-level tree update language with Separation Logic reas...
Abstract—We use the recently developed theory of forest algebras to find algebraic characterizations...
DOI
Add to ORKG