scientific article; zbMATH DE number 3461480

MaRDI QIDQ4047108zbMATH OpenFDO

Authors Antoni Kreczmar

Publication date 1974

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Cited in

(3)

• Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
• On the computational complexity of satisfiability in propositional logics of programs
• Propositional dynamic logic of regular programs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4047108)