On Temporal and Separation Logics (Q5079764): Difference between revisions

@@ label / en / label / en @@
+On Temporal and Separation Logics
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Separating Graph Logic from MSO
@@ Property / cites work: Separating Graph Logic from MSO / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q5111182
@@ Property / cites work: Q5111182 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about sequences of memory states
@@ Property / cites work: Reasoning about sequences of memory states / rank @@
+Normal rank
@@ Property / cites work @@
+On the almighty wand
@@ Property / cites work: On the almighty wand / rank @@
+Normal rank
@@ Property / cites work @@
+A decision procedure for satisfiability in separation logic with inductive predicates
+Normal rank
@@ Property / cites work @@
+Parametric completeness for separation theories
@@ Property / cites work: Parametric completeness for separation theories / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Shape Analysis by Means of Bi-Abduction
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Expressiveness and complexity of graph logic
@@ Property / cites work: Expressiveness and complexity of graph logic / rank @@
+Normal rank
@@ Property / cites work @@
+Separation logics and modalities: a survey
@@ Property / cites work: Separation logics and modalities: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Two-Variable Separation Logic and Its Inner Circle
+Normal rank
@@ Property / cites work @@
+Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
+Normal rank
@@ Property / cites work @@
+Q5224566
@@ Property / cites work: Q5224566 / rank @@
+Normal rank
@@ Property / cites work @@
+The effects of adding reachability predicates in propositional separation logic
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+The Expressive Power of Modal Dependence Logic
@@ Property / cites work: The Expressive Power of Modal Dependence Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Simple Separation Logic
@@ Property / cites work: A Simple Separation Logic / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
+Normal rank
@@ Property / cites work @@
+Automated Theorem Proving for Assertions in Separation Logic with All Connectives
+Normal rank
@@ Property / cites work @@
+The Tree Width of Separation Logic with Recursive Definitions
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+Decidable and undecidable logics with a binary modality
+Normal rank
@@ Property / cites work @@
+Quantified CTL: Expressiveness and Complexity
@@ Property / cites work: Quantified CTL: Expressiveness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q5090983
@@ Property / cites work: Q5090983 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4904145
@@ Property / cites work: Q4904145 / rank @@
+Normal rank
@@ Property / cites work @@
+Viper: A Verification Infrastructure for Permission-Based Reasoning
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783297
@@ Property / cites work: Q4783297 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of the logic of bunched implications
+Normal rank
@@ Property / cites work @@
+Expressiveness and completeness of an interval tense logic
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Chopping Intervals
@@ Property / cites work: A Modal Logic for Chopping Intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Scalable Shape Analysis for Systems Code
@@ Property / cites work: Scalable Shape Analysis for Systems Code / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://hal.science/hal-02366656
@@ Property / full work available at URL: https://hal.science/hal-02366656 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2990336109
@@ Property / OpenAlex ID: W2990336109 / rank @@
+Normal rank
@@ Property / title @@
+On Temporal and Separation Logics (English)
@@ Property / title: On Temporal and Separation Logics (English) / rank @@
+Normal rank