03088nam 22004815 450 99646636400331620200702152841.03-540-39445-110.1007/3-540-11981-7(CKB)1000000000230236(SSID)ssj0000324552(PQKBManifestationID)11240644(PQKBTitleCode)TC0000324552(PQKBWorkID)10322755(PQKB)11591339(DE-He213)978-3-540-39445-7(PPN)155222600(EXLCZ)99100000000023023620121227d1983 u| 0engurnn|008mamaatxtccrLogics of Programs and Their Applications[electronic resource] Proceedings, Poznan, August 23-29, 1980 /edited by A. Salwicki1st ed. 1983.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1983.1 online resource (VIII, 328 p.) Lecture Notes in Computer Science,0302-9743 ;148Bibliographic Level Mode of Issuance: Monograph3-540-11981-7 Sharpening the characterization of the power of Floyd method -- On proving program correctness by means of stepwise refinement method -- Semantics and implementation of prefixing at many levels -- Nonstandard models in Propositional Dynamic Logic -- On priorities of parallelism: Petri nets under the maximum firing strategy -- On four logics of programs and complexity of their satisfiability problems : Extended abstract -- Are infinite behaviours of parallel system schemata necessary? -- Algorithmic properties of finitely generated structures -- Algebraic semantics and program logics: Algorithmic logic for program trees -- Some model-theoretical properties of logic for programs with random control -- A formal system for parallel programs in discrete time and space -- On the propositional algorithmic theory of arithmetic -- Nonstandard runs of Floyd-provable programs -- On some extensions of dynamic logic -- On algorithmic logic with partial operations -- Towards a theory of parallelism and communications for increasing efficiency in applicative languages -- An operational semantics for CSP -- Programming languages and logics of programs -- Concurrent programs -- Axiomatic approach to the system of files -- A sequent calculus for Kröger logic -- On axiomatization of process logic -- Filtration theorem for dynamic algebras with tests and inverse operator.Lecture Notes in Computer Science,0302-9743 ;148Computer logicLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer logic.Logics and Meanings of Programs.005.1015113Salwicki Aedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466364003316Logics of programs and their applications878502UNISA