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 LEADER 01287nam a2200289 i 4500 001 991002505319707536 008 140110s2010 njua b 001 0 eng d 020 $a9780470407455 035 $ab14185350-39ule_inst 040 $aBibl. Dip.le Aggr. Ingegneria Innovazione - Sez. Ingegneria Innovazione$beng 082 04$a005.758$222 100 1 $aRahimi, Saeed$0479709 245 10$aDistributed database management systems :$ba practical approach /$cSaeed K. Rahimi, Frank S. Haug 260 $aHoboken, N. J. :$bWiley ;$aLos Alamitos, CA :$bIEEE Computer Society,$cc2010 300 $axxxiv, 728 p. :$bill. ;$c26 cm 504 $aIncludes bibliographical references and index 650 0$aDistributed databases 650 0$aDatabase management 700 1 $aHaug, Frank S. 710 2 $aIEEE Computer Society 856 41$3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy1101/2010282477-t.html 907 $a.b14185350$b20-05-14$c30-04-14 912 $a991002505319707536 945 $aLE026 005.758 RAH 01.01 2010$g1$i2026000068169$lle026$nProf. Longo / Biblioteca$op$pE108.30$q-$rl$s- $t4$u0$v0$w0$x0$y.i15614025$z20-05-14 996 $aDistributed database management systems$9258612 997 $aUNISALENTO 998 $ale026$b10-01-14$cm$da $e $feng$gnju$h0$i0 LEADER 01194nas 2200409 c 450 001 9910132526303321 005 20251012104120.0 011 $a2296-3588 035 $a(DE-599)ZDB2728971-0 035 $a(OCoLC)1368484564 035 $a(DE-101)1038177863 035 $a(CKB)3580000000000380 035 $a(EXLCZ)993580000000000380 100 $a20130812a20129999 |y | 101 0 $ager 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aDiagonal$eWSL-Magazin$fEidg. Forschungsanstalt fu?r Wald, Schnee und Landschaft WSL 210 31$aBirmensdorf$cEidg. Forschungsanstalt fu?r Wald, Schnee und Landschaft WSL$d2012- 215 $aOnline-Ressource 300 $aGesehen am 09.03.21 311 08$a2296-3561 517 3 $aWSL-Magazin 517 1 $aWSL-Magazin Diagonal 608 $aZeitschrift$2gnd-content 676 $a630 676 $a640 712 02$aEidgeno?ssische Forschungsanstalt fu?r Wald, Schnee und Landschaft$4isb 801 0$b0014 801 1$bDE-101 801 2$b9999 906 $aJOURNAL 912 $a9910132526303321 996 $aDiagonal$92247118 997 $aUNINA