LEADER 03801nam  22006855  450 
001 996465439903316
005 20230223074050.0
010   $a3-642-32784-2
024 7 $a10.1007/978-3-642-32784-1
035   $a(CKB)3400000000085719
035   $a(SSID)ssj0000745862
035   $a(PQKBManifestationID)11433382
035   $a(PQKBTitleCode)TC0000745862
035   $a(PQKBWorkID)10859344
035   $a(PQKB)11275494
035   $a(DE-He213)978-3-642-32784-1
035   $a(MiAaPQ)EBC3070996
035   $a(PPN)168322730
035   $a(EXLCZ)993400000000085719
100   $a20120813d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCoalgebraic Methods in Computer Science$b[electronic resource] $e11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers /$fedited by Dirk Pattinson, Lutz Schröder
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (VII, 259 p. 7 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7399
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-32783-4 
320   $aIncludes bibliographical references and index.
327   $aFrom Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference -- Defining Context-Free Power Series Coalgebraically -- Relational Presheaves as Labelled Transition Systems -- On Finitary Functors and Their Presentations -- Structural Operational Semantics for Continuous State Probabilistic Processes -- Stream Automata Are Coalgebras -- Trace Semantics via Determinizatio -- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus -- Lax Extensions of Coalgebra Functors -- From Transitions to Executions -- Tracing the Man in the Middle in Monoidal Categories -- Permutations in Coinductive Graph Representation -- Internal Models for Coalgebraic Modal Logics.
330   $aThis book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 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 ;$v7399
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   $a005.131
702   $aPattinson$b Dirk$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSchröder$b Lutz$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aWorkshop on Coalgebraic Methods in Computer Science
906   $aBOOK
912   $a996465439903316
996   $aCoalgebraic Methods in Computer Science$92902835
997   $aUNISA