scientific article; zbMATH DE number 6748881
From MaRDI portal
Publication:5278420
DOI10.4230/LIPIcs.CSL.2016.32zbMath1370.03043MaRDI QIDQ5278420
Sylvain Schmitz, Simon Lunel, David Baelde
Publication date: 19 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Data structures (68P05)
Related Items (5)
Axiomatizations for downward XPath on data trees ⋮ Logics of Repeating Values on Data Trees and Branching Counter Systems ⋮ Unnamed Item ⋮ Hilbert-Style Axiomatization for Hybrid XPath with Data ⋮ Unnamed Item
This page was built for publication:
