↓ Skip to main content

Coalgebraic Methods in Computer Science

Overview of attention for book
Attention for Chapter 10: A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
2 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors
Chapter number 10
Book title
Coalgebraic Methods in Computer Science
Published by
Springer, Cham, April 2016
DOI 10.1007/978-3-319-40370-0_10
Book ISBNs
978-3-31-940369-4, 978-3-31-940370-0
Authors

David Sprunger, Sprunger, David

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 50%
Professor > Associate Professor 1 50%
Readers by discipline Count As %
Computer Science 1 50%
Unknown 1 50%