scientific article

zbMath0473.03023MaRDI QIDQ3927214

Petr Kůrka, Pavel Kalasek, Petr Hájek

Publication date: 1980

Full work available at URL: https://eudml.org/doc/28013

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

zbMATH Keywords

recursionsemanticssyntaxcorrectness of programsarray assignmentsdynamic predicate calculusdynamic propositional calculussemantics of computational trees

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cites Work

• Darwinian evolution in games with perfect information
• First-order dynamic logic
• Unnamed Item
• Unnamed Item

This page was built for publication: