scientific article; zbMATH DE number 3299715
From MaRDI portal
Publication:5581604
zbMath0188.02102MaRDI QIDQ5581604
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A near-optimal method for reasoning about action ⋮ Process logic: Expressiveness, decidability, completeness ⋮ Propositional dynamic logic of regular programs
