LEADER 03345nam  22005775  450 
001 996466202503316
005 20230330002801.0
010   $a3-030-00389-2
024 7 $a10.1007/978-3-030-00389-0
035   $a(CKB)4100000006674669
035   $a(DE-He213)978-3-030-00389-0
035   $a(MiAaPQ)EBC6304203
035   $a(PPN)230538622
035   $a(EXLCZ)994100000006674669
100   $a20180919d2018      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCoalgebraic Methods in Computer Science$b[electronic resource] $e14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14?15, 2018, Revised Selected Papers /$fedited by Corina Cîrstea
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (IX, 235 p. 4 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11202
300   $aIncludes index.
311   $a3-030-00388-4 
327   $aRelating Structure and Power: Comonadic Semantics for Computational Resources -- Coalgebraic Logics and Duality -- Intuitionistic Podelski-Rybalchenko Theorem and Equivalence between Inductive Definitions and Cyclic Proofs -- Undecidability of Equality for Codata Types -- Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages -- Long-Term Values in Markov Decision Processes, (Co)Algebraically -- (In)finite Trace Equivalence of Probabilistic Transition Systems -- Steps and Traces -- On Algebras with Effectful Iteration -- Monoidal computer III: A coalgebraic view of computability and complexity -- Fibrational Bisimulations and Quantitative Reasoning -- Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018. The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the extended abstracts of two keynotes/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 ;$v11202
606   $aMachine theory
606   $aArtificial intelligence
606   $aComputer science
606   $aFormal Languages and Automata Theory
606   $aArtificial Intelligence
606   $aComputer Science Logic and Foundations of Programming
615  0$aMachine theory.
615  0$aArtificial intelligence.
615  0$aComputer science.
615 14$aFormal Languages and Automata Theory.
615 24$aArtificial Intelligence.
615 24$aComputer Science Logic and Foundations of Programming.
676   $a004.0151
702   $aCîrstea$b Corina$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466202503316
996   $aCoalgebraic Methods in Computer Science$92902835
997   $aUNISA