Logic of Programs Workshop, ETH Zürich, May-July 1979
Description
On the duality of dynamic algebras and kripke models.- The deducibility problem in propositional dynamic logic.- PAL -- Propositional algorithmic logic.- Propositional dynamic logics of programs: A survey.- On the algorithmic theory of dictionaries.- On the algorithmic properties of concurrent programs.- A survey of the logic of effective definitions.
Keywords
ComputersProgrammingInformation Technology
1981Book
Author(s)E. Engeler
PublisherSpringer Berlin Heidelberg
ISBN9783540111603
LanguageEnglish
