02019nam 22004815 450 99646633660331620200702161951.03-540-38631-910.1007/3-540-11160-3(CKB)1000000000230151(SSID)ssj0000324503(PQKBManifestationID)11268425(PQKBTitleCode)TC0000324503(PQKBWorkID)10313379(PQKB)11261077(DE-He213)978-3-540-38631-5(PPN)155236334(EXLCZ)99100000000023015120121227d1981 u| 0engurnn|008mamaatxtccrLogic of Programs[electronic resource] Workshop, ETH Zürich, May-July 1979 /edited by E. Engeler1st ed. 1981.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1981.1 online resource (VII, 245 p.) Lecture Notes in Computer Science,0302-9743 ;125Bibliographic Level Mode of Issuance: Monograph3-540-11160-3 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.Lecture Notes in Computer Science,0302-9743 ;125Computer logicLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer logic.Logics and Meanings of Programs.005.1015113Engeler Eedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466336603316Logic of programs878505UNISA