scientific article
From MaRDI portal
Publication:3726088
zbMath0595.03018MaRDI QIDQ3726088
No author found.
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
determinismdynamic logicexpressive powerfree Burnside groupprogram schemestruth-table propertygroup graphcontext-free programs
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Other infinitary logic (03C75)
This page was built for publication:
