Logic of Programs
Workshop, ETH Zürich, May-July 1979, Lecture Notes in Computer Science 125
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Zusatztext
InhaltsangabeOn 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.
Weitere Details
Erschienen: 01.11.1981
Umfang: vii, 245 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540111603
Umbreit-Nr.: 1497458
