scientific article; zbMATH DE number 1536553
From MaRDI portal
Publication:4518421
zbMath0949.03510MaRDI QIDQ4518421
Publication date: 28 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Interval logics and their decision procedures. I: An interval logic ⋮ On Gabbay's temporal fixed point operator ⋮ Axiomatizing the logical core of XPath 2.0
This page was built for publication:
