LEADER 03897nam  22007335  450 
001 996202528703316
005 20230329194046.0
010   $a3-662-44124-1
024 7 $a10.1007/978-3-662-44124-4
035   $a(CKB)3710000000227441
035   $a(SSID)ssj0001338650
035   $a(PQKBManifestationID)11857503
035   $a(PQKBTitleCode)TC0001338650
035   $a(PQKBWorkID)11344720
035   $a(PQKB)11744897
035   $a(DE-He213)978-3-662-44124-4
035   $a(MiAaPQ)EBC6283660
035   $a(MiAaPQ)EBC5596016
035   $a(Au-PeEL)EBL5596016
035   $a(OCoLC)889871762
035   $a(PPN)180625853
035   $a(EXLCZ)993710000000227441
100   $a20140819d2014      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCoalgebraic Methods in Computer Science$b[electronic resource] $e12th  IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers /$fedited by Marcello M. Bonsangue
205   $a1st ed. 2014.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014.
215   $a1 online resource (X, 245 p. 4 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8446
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-662-44123-3 
320   $aIncludes bibliographical references and index.
327   $aHigher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) -- Generic Weakest Precondition Semantics from Monads Enriched with Order -- Coalgebraic Multigames -- How to Kill Epsilons with a Dagger -- On Coalgebras with Internal Moves -- A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics -- Coalgebraic Simulations and Congruences -- Dijkstra Monads in Monadic Computation -- Categories of Coalgebras with Monadic Homomorphisms -- Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions -- Canonical Nondeterministic Automata -- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra -- Algebraic?Coalgebraic Recursion Theory of History-Dependent Dynamical System Models.
330   $aThis book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, colocated with ETAPS 2014, held in Grenoble, France, in April 2014. The 10 revised full papers were carefully reviewed and selected from 20 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8446
606   $aMachine theory
606   $aComputer science
606   $aComputer science?Mathematics
606   $aMathematical statistics
606   $aFormal Languages and Automata Theory
606   $aTheory of Computation
606   $aComputer Science Logic and Foundations of Programming
606   $aProbability and Statistics in Computer Science
615  0$aMachine theory.
615  0$aComputer science.
615  0$aComputer science?Mathematics.
615  0$aMathematical statistics.
615 14$aFormal Languages and Automata Theory.
615 24$aTheory of Computation.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aProbability and Statistics in Computer Science.
676   $a004.0151
702   $aBonsangue$b Marcello M$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996202528703316
996   $aCoalgebraic Methods in Computer Science$92902835
997   $aUNISA