scientific article
From MaRDI portal
Publication:3764130
zbMath0628.03013MaRDI QIDQ3764130
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
dynamic logicexpressive powerbinary push-down storecomputational power of flow-chartsdeterministic context-free programsdeterministic regular programs
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
This page was built for publication:
