Logic of Programs: Workshop, ETH Zurich, May-July 1979 by E. Engeler
Unfortunately we do not have a summary for this item at the moment
Logic of Programs
Logic of Programs
Logic of Programs Summary
Table of Contents
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.
Additional information
NPB9783540111603
9783540111603
3540111603
Logic of Programs: Workshop, ETH Zurich, May-July 1979 by E. Engeler
New
Paperback
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
19811101
245
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time