LEADER 03174nam  22006375  450 
001 9910878048303321
005 20251225195106.0
010   $a3-031-66438-8
024 7 $a10.1007/978-3-031-66438-0
035   $a(MiAaPQ)EBC31569709
035   $a(Au-PeEL)EBL31569709
035   $a(CKB)33428426100041
035   $a(DE-He213)978-3-031-66438-0
035   $a(EXLCZ)9933428426100041
100   $a20240725d2024      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCoalgebraic Methods in Computer Science $e17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6?7, 2024, Proceedings /$fedited by Barbara König, Henning Urbat
205   $a1st ed. 2024.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024.
215   $a1 online resource (226 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14617
311 08$a3-031-66437-X 
320   $aIncludes bibliographical references and index.
327   $aCoalgebraic CTL: Fixpoint Characterization and Polynomial-time Model Checking -- A Categorical Approach to Coalgebraic Fixpoint Logic -- Preorder-Constrained Simulations for Program Refinement with Effects -- Automata and Coalgebras in Categories of Species -- Automata in W-Toposes, and General Myhill-Nerode Theorems -- Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras -- Explicit Hopcroft?s Trick in Categorical Partition Refinement -- Proving Behavioural Apartness -- A Compositional Approach to Petri Nets -- Correspondence between Composite Theories and Distributive Laws.
330   $aThis book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024. The 10 papers included in these proceedings were carefully reviewed and selected from 15 submissions. The papers cover a wide range of topics on theory, logics, and applications of coalgebras.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v14617
606   $aLogic, Symbolic and mathematical
606   $aMachine theory
606   $aLogic programming
606   $aComputer science$xMathematics
606   $aMathematical Logic and Foundations
606   $aFormal Languages and Automata Theory
606   $aLogic in AI
606   $aMathematics of Computing
615  0$aLogic, Symbolic and mathematical.
615  0$aMachine theory.
615  0$aLogic programming.
615  0$aComputer science$xMathematics.
615 14$aMathematical Logic and Foundations.
615 24$aFormal Languages and Automata Theory.
615 24$aLogic in AI.
615 24$aMathematics of Computing.
676   $a004.0151
702   $aKo?nig$b Barbara
702   $aUrbat$b Henning
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910878048303321
996   $aCoalgebraic Methods in Computer Science$92902835
997   $aUNINA