scientific article; zbMATH DE number 1536551
From MaRDI portal
Publication:4518419
zbMath0949.03507MaRDI QIDQ4518419
Publication date: 28 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
On Gabbay's temporal fixed point operator ⋮ Uncompactness of stit logics containing generalized refref conditionals
This page was built for publication: