Logic of Programs: Workshop, ETH Zürich, May-July 1979 by E. EngelerLogic of Programs: Workshop, ETH Zürich, May-July 1979 by E. Engeler

Logic of Programs: Workshop, ETH Zürich, May-July 1979

EditorE. Engeler

Paperback | November 1, 1981

Pricing and Purchase Info

$116.95

Earn 585 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Logic of Programs: Workshop, ETH Zürich, May-July 1979Format:PaperbackDimensions:246 pagesPublished:November 1, 1981Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540111603

ISBN - 13:9783540111603

Look for similar items by category:

Reviews

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.