+612 9045 4394
 
CHECKOUT
Logic of Programs : Workshop, Eth Zurich, May-July 1979 - E. Engeler

Logic of Programs

Workshop, Eth Zurich, May-July 1979

By: E. Engeler (Editor)

Paperback

Published: 1st November 1981
Ships: 5 to 9 business days
5 to 9 business days
$116.16
or 4 easy payments of $29.04 with Learn more
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.

ISBN: 9783540111603
ISBN-10: 3540111603
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 245
Published: 1st November 1981
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.37
Weight (kg): 0.36