Coalgebraic methods in computer science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers /: 13th IFIP WG 1.3 International Workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers. (2016)

• Record Type: Book
• Further Information: Note: Edited by Ichiro Hasuo.
• Editors: Hasuo, Ichiro
• Other Names: Workshop on Coalgebraic Methods in Computer Science, 13th; ETAPS (Conference), 19th
• Contents: 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.
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (ix, 235 pages), illustrations
• Subjects: 004.01/51; Computer science; Computer science -- Mathematics -- Congresses; Computer software -- Mathematics -- Congresses; Computer science -- Mathematics; Computers -- Machine Theory; Computers -- Programming -- General; Computers -- Intelligence (AI) & Semantics; User interface design & usability; Computer programming / software development; Artificial intelligence; Logic design; Artificial intelligence; Mathematics -- Logic; Mathematical theory of computation; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783319403700; 3319403702
• Related ISBNs: 9783319403694
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed June 14, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.