scientific article
From MaRDI portal
Publication:2847405
zbMath1271.03050MaRDI QIDQ2847405
Publication date: 9 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104050315
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (7)
On Composing Finite Forests with Modal Logics ⋮ Expressiveness and complexity of graph logic ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Adjunct elimination in context logic for trees ⋮ Unnamed Item ⋮ An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning ⋮ An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning
This page was built for publication:
