00989nam0-22003251i-450-99000687503040332120060802080937.0000687503FED01000687503(Aleph)000687503FED0100068750320010426d1996----km-y0itay50------baitay-------001yyAnnuario DEA delle università e istituti di studio e ricerca in Italia= DEA directory of universities, scientific and cultural institutions in Italy1996-199710. ed.RomaDEAc1996704 p.30 cmReferenzeWho is whoElenchi variITUNINARICAUNIMARCBK990006875030403321XXX COD. 422 (10)29890FSPBC02-048FI1FSPBCFI1Annuario DEA delle università e istituti di studio e ricerca in Italia104928UNINA03437nam 22006255 450 99646600280331620230330064758.03-319-40370-210.1007/978-3-319-40370-0(CKB)3710000000734806(DE-He213)978-3-319-40370-0(MiAaPQ)EBC6301664(MiAaPQ)EBC5586318(Au-PeEL)EBL5586318(OCoLC)951668183(PPN)19451482X(EXLCZ)99371000000073480620160603d2016 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierCoalgebraic Methods in Computer Science[electronic resource] 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers /edited by Ichiro Hasuo1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (IX, 235 p. 5 illus.) Theoretical Computer Science and General Issues,2512-2029 ;96083-319-40369-9 Fixed Points of Functors - A Survey -- Compositional Coinduction with Sized Types -- Lawvere Theories as Composed PROPs -- Transitivity and Difunctionality of Bisimulations -- Affine Monads and Side-Effect-Freeness -- Duality of Equations and Coequations via Contravariant Adjunctions -- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness -- Product Rules and Distributive Laws -- On the Logic of Generalised Metric Spaces -- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors -- Coalgebraic Completeness-via-Canonicity: Principles and Applications -- Relational Lattices via Duality -- On Local Characterization of Global Timed Bisimulation for Abstract.This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016. The 10 revised full papers were carefully reviewed and selected from 13 submissions. Also included are an invited paper and two keynote talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.Theoretical Computer Science and General Issues,2512-2029 ;9608Machine theoryComputer scienceArtificial intelligenceFormal Languages and Automata TheoryTheory of ComputationComputer Science Logic and Foundations of ProgrammingArtificial IntelligenceMachine theory.Computer science.Artificial intelligence.Formal Languages and Automata Theory.Theory of Computation.Computer Science Logic and Foundations of Programming.Artificial Intelligence.004Hasuo Ichiroedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466002803316Coalgebraic Methods in Computer Science2902835UNISA