01799nam 22004815 450 99646550280331620200707013639.03-540-38417-010.1007/3-540-10284-1(CKB)1000000000230070(SSID)ssj0000321133(PQKBManifestationID)11255491(PQKBTitleCode)TC0000321133(PQKBWorkID)10262854(PQKB)10008286(DE-He213)978-3-540-38417-5(PPN)155166212(EXLCZ)99100000000023007020121227d1981 u| 0engurnn|008mamaatxtccrAlgebraic Semantics[electronic resource] /by I. Guessarian1st ed. 1981.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1981.1 online resource (XIV, 162 p.) Lecture Notes in Computer Science,0302-9743 ;99Bibliographic Level Mode of Issuance: Monograph3-540-10284-1 1 — Introduction -- 2 — Magmas, algebras and trees -- 3 — Program schemes -- 4 — Semantics -- 5 — Classes of interpretations -- 6 — Program transformations.Lecture Notes in Computer Science,0302-9743 ;99Computer logicLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer logic.Logics and Meanings of Programs.005.1015113Guessarian Iauthttp://id.loc.gov/vocabulary/relators/aut1220850BOOK996465502803316Algebraic Semantics2829851UNISA