Go to main content

Coalgebraic 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 Hasuo.

Workshop on Coalgebraic Methods in Computer Science (13th : 2016 : Eindhoven, Netherlands); Hasuo, Ichiro, editor.; ETAPS (Conference) (19th : 2016 : Eindhoven, Netherlands), jointly held conference.
2016
QA76.9.M35
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Coalgebraic 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 Hasuo.
Meeting Name
Workshop on Coalgebraic Methods in Computer Science (13th : 2016 : Eindhoven, Netherlands)
ISBN
9783319403700 (electronic book)
3319403702 (electronic book)
9783319403694
DOI
https://doi.org/10.1007/978-3-319-40370-0
Published
Switzerland : Springer, 2016.
Language
English
Description
1 online resource (ix, 235 pages) : illustrations.
Item Number
10.1007/978-3-319-40370-0 doi
Call Number
QA76.9.M35
Dewey Decimal Classification
004.01/51
Summary
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.
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed June 14, 2016).
Added Author
Hasuo, Ichiro, editor.
Added Meeting Name
ETAPS (Conference) (19th : 2016 : Eindhoven, Netherlands), jointly held conference.
Series
Lecture notes in computer science ; 9608.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export