Logic of Programs: Workshop, ETH Z??rich, May-July 1979: Workshop, ETH Zürich, May-July 1979 (Lecture Notes in Computer Science, 125, Band 125) - Softcover

Engeler, E.

 
9783540111603: Logic of Programs: Workshop, ETH Z??rich, May-July 1979: Workshop, ETH Zürich, May-July 1979 (Lecture Notes in Computer Science, 125, Band 125)
Softcover
ISBN 10: 3540111603 ISBN 13: 9783540111603
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540111603
ISBN 13 
9783540111603
Einband
Taschenbuch
Anzahl der Seiten
264
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780387111605: Logic of Programs (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0387111603 ISBN 13:  9780387111605
Verlag: Springer Verlag, 1982
Softcover