scientific article; zbMATH DE number 3802801

zbMath0508.68019MaRDI QIDQ4746782

Bogdan S. Chlebus

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Turing machinessatisfiability problemsspace complexitypropositional dynamic logicpropositional algorithmic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65) Complexity of computation (including implicit computational complexity) (03D15)

Related Items (1)

The propositional dynamic logic of deterministic, well-structured programs

This page was built for publication: