Extended transitive separation logic (Q2347905): Difference between revisions

@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Prover9
@@ Property / describes a project that uses: Prover9 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mace4
@@ Property / describes a project that uses: Mace4 / rank @@
+Normal rank
@@ 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.jlamp.2014.12.002
+Normal rank
@@ Property / OpenAlex ID @@
+W1977169367
@@ Property / OpenAlex ID: W1977169367 / rank @@
+Normal rank
@@ Property / cites work @@
+Transitive Separation Logic
@@ Property / cites work: Transitive Separation Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Towards pointer algebra
@@ Property / cites work: Towards pointer algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Calculating with acyclic and cyclic lists
@@ Property / cites work: Calculating with acyclic and cyclic lists / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic separation logic
@@ Property / cites work: Algebraic separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning in Kleene Algebra
@@ Property / cites work: Automated Reasoning in Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Relational and Kleene-Algebraic Methods in Computer Science
+Normal rank
@@ Property / cites work @@
+The inverse semigroup of a sum-ordered semiring
@@ Property / cites work: The inverse semigroup of a sum-ordered semiring / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Foundations of Concurrent Kleene Algebra
@@ Property / cites work: Foundations of Concurrent Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Extending separation logic with fixpoints and postponed substitution
+Normal rank
@@ Property / cites work @@
+Q4023057
@@ Property / cites work: Q4023057 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing determinacy in Kleene algebras
@@ Property / cites work: Characterizing determinacy in Kleene algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse Exchange for Concurrency and Local Reasoning
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction of Object Graphs in Program Verification
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+The ramifications of sharing in data structures
@@ Property / cites work: The ramifications of sharing in data structures / rank @@
+Normal rank
@@ Property / cites work @@
+The TPTP problem library. CNF release v1. 2. 1
@@ Property / cites work: The TPTP problem library. CNF release v1. 2. 1 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2347905