scientific article
From MaRDI portal
Publication:3349971
zbMath0727.68031MaRDI QIDQ3349971
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Theoretical foundations of handling large substitution sets in temporal integrity monitoring ⋮ First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications
This page was built for publication: