LEADER 02603nam  22006255  450 
001 9910585776203321
005 20251225213448.0
010   $a3-031-10736-5
024 7 $a10.1007/978-3-031-10736-8
035   $a(MiAaPQ)EBC7048961
035   $a(Au-PeEL)EBL7048961
035   $a(CKB)24279813400041
035   $a(PPN)263897257
035   $a(BIP)85166324
035   $a(BIP)84506077
035   $a(DE-He213)978-3-031-10736-8
035   $a(EXLCZ)9924279813400041
100   $a20220722d2022      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCoalgebraic Methods in Computer Science $e16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings /$fedited by Helle Hvid Hansen, Fabio Zanasi
205   $a1st ed. 2022.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022.
215   $a1 online resource (210 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13225
311 08$aPrint version: Hansen, Helle Hvid Coalgebraic Methods in Computer Science Cham : Springer International Publishing AG,c2022 9783031107351 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022. The 9 revised full papers were carefully reviewed and selected from 12 submissions. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v13225
606   $aMachine theory
606   $aLogic programming
606   $aComputer science$xMathematics
606   $aFormal Languages and Automata Theory
606   $aLogic in AI
606   $aMathematics of Computing
615  0$aMachine theory.
615  0$aLogic programming.
615  0$aComputer science$xMathematics.
615 14$aFormal Languages and Automata Theory.
615 24$aLogic in AI.
615 24$aMathematics of Computing.
676   $a004.0151
676   $a004.0151
702   $aHansen$b Helle Hvid
702   $aZanasi$b Fabio
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910585776203321
996   $aCoalgebraic Methods in Computer Science$92902835
997   $aUNINA