scientific article; zbMATH DE number 7561347

DOI10.4230/LIPIcs.FSTTCS.2018.42MaRDI QIDQ5090983

Alessio Mansutti

Publication date: 21 July 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

reachabilitydecision problemsinterval temporal logicseparation logicadjuncts and quantifiers eliminationlogics on trees

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Related Items (5)

On Composing Finite Forests with Modal Logics ⋮ An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning ⋮ On Temporal and Separation Logics ⋮ An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the almighty wand
• The effects of adding reachability predicates in propositional separation logic
• A separation logic with data: small models and automation
• A decidable fragment in separation logic with inductive predicates and arithmetic
• Separation logic with one quantified variable
• Relationships between nondeterministic and deterministic tape complexities
• Complexity Hierarchies beyond Elementary
• Two-Variable Separation Logic and Its Inner Circle
• Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic
• Tractable Reasoning in a Fragment of Separation Logic
• Scalable Shape Analysis for Systems Code
• A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time
• The Tree Width of Separation Logic with Recursive Definitions
• Compositional Shape Analysis by Means of Bi-Abduction
• Foundations for Decision Problems in Separation Logic with General Inductive Predicates
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Programming Languages and Systems
• An axiomatic basis for computer programming

This page was built for publication: