Logic of Programs

(0)

Erste Bewertung abgeben

Inhalt On the duality of dynamic algebras and kripke models.- The deducibility problem in propositional dynamic logic.- PAL Propos...

20%

92.00

CHF73.60

Sie sparen CHF 18.40

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband

Beschreibung

Inhalt
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.