Logic of programs : workshop, ETH Zürich, May-July 1979 /

Logic of programs : workshop, ETH Zürich, May-July 1979 /

Saved in:

Bibliographic Details
Imprint:	Berlin ; New York : Springer, 1981.
Description:	1 online resource (245 pages) : illustrations.
Language:	English
Series:	Lecture notes in computer science ; 125 Lecture notes in computer science ; 125.
Subject:	Computer programs. Logic, Symbolic and mathematical. Computer programs. Logic, Symbolic and mathematical.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11072483

Hidden Bibliographic Details
Other authors / contributors:	Engeler, Erwin. Eidgenössische Technische Hochschule Zürich.
ISBN:	9783540386315 3540386319 3540111603 9783540111603
Digital file characteristics:	text file PDF
Notes:	Includes bibliographical references. English.
Other form:	Print version: Logic of programs. Berlin ; New York : Springer, 1981 0387111603
Standard no.:	10.1007/3-540-11160-3

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.