Bunched sequential information (Q266883): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2016.02.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2281434313
@@ Property / OpenAlex ID: W2281434313 / rank @@
+Normal rank
@@ Property / cites work @@
+On arithmetical first-order theories allowing encoding and decoding of lists
+Normal rank
@@ Property / cites work @@
+A Logical and Computational Theory of Located Resource
+Normal rank
@@ Property / cites work @@
+Algebra and logic for resource-based systems modelling
+Normal rank
@@ Property / cites work @@
+Q4342081
@@ Property / cites work: Q4342081 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic Labelled Tableaux for Propositional BI
@@ Property / cites work: Semantic Labelled Tableaux for Propositional BI / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of BI and resource tableaux
@@ Property / cites work: The semantics of BI and resource tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Resource-distribution via Boolean constraints
@@ Property / cites work: Resource-distribution via Boolean constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+Linear and affine logics with temporal, spatial and epistemic operators
+Normal rank
@@ Property / cites work @@
+Dynamic non-commutative logic
@@ Property / cites work: Dynamic non-commutative logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2888152
@@ Property / cites work: Q2888152 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal BI: proof system, semantics and translations
+Normal rank
@@ Property / cites work @@
+Reasoning about Resources and Information: A Linear Logic Approach
+Normal rank
@@ Property / cites work @@
+On bunched typing
@@ Property / cites work: On bunched typing / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of the logic of bunched implications
+Normal rank
@@ Property / cites work @@
+Possible worlds and resources: The semantics of \(\mathbf{BI}\)
+Normal rank
@@ Property / cites work @@
+A calculus and logic of resources and processes
@@ Property / cites work: A calculus and logic of resources and processes / rank @@
+Normal rank
@@ Property / cites work @@
+Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
+Normal rank
@@ Property / cites work @@
+Solution to a problem of Ono and Komori
@@ Property / cites work: Solution to a problem of Ono and Komori / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of information structures
@@ Property / cites work: The logic of information structures / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:266883