000 03492nam a22006135i 4500
001 978-3-031-66438-0
003 DE-He213
005 20250516160110.0
007 cr nn 008mamaa
008 240725s2024 sz | s |||| 0|eng d
020 _a9783031664380
_9978-3-031-66438-0
050 4 _aQA8.9-10.3
072 7 _aPBCD
_2bicssc
072 7 _aPBC
_2bicssc
072 7 _aMAT018000
_2bisacsh
072 7 _aPBCD
_2thema
072 7 _aPBC
_2thema
082 0 4 _a511.3
_223
245 1 0 _aCoalgebraic Methods in Computer Science
_h[electronic resource] :
_b17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings /
_cedited by Barbara König, Henning Urbat.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2024.
300 _aIX, 217 p. 38 illus., 13 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14617
505 0 _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.
520 _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.
541 _fUABC ;
_cPerpetuidad
650 0 _aMathematical logic.
650 0 _aMachine theory.
650 0 _aLogic programming.
650 0 _aComputer science
_xMathematics.
650 1 4 _aMathematical Logic and Foundations.
650 2 4 _aFormal Languages and Automata Theory.
650 2 4 _aLogic in AI.
650 2 4 _aMathematics of Computing.
700 1 _aKönig, Barbara.
_eeditor.
_0(orcid)0000-0002-4193-2889
_1https://orcid.org/0000-0002-4193-2889
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aUrbat, Henning.
_eeditor.
_0(orcid)0000-0002-3265-7168
_1https://orcid.org/0000-0002-3265-7168
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031664373
776 0 8 _iPrinted edition:
_z9783031664397
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14617
856 4 0 _zLibro electrónico
_uhttp://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-66438-0
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cLIBRO_ELEC
999 _c275790
_d275789