scientific article; zbMATH DE number 3274738
From MaRDI portal
Publication:5560279
zbMath0172.29801MaRDI QIDQ5560279
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Completeness of a first-order temporal logic with time-gaps ⋮ Decidability of the Class E by Maslov’s Inverse Method
This page was built for publication:
