Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer International Publishing

9783319403694, 9783319403700

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Transitivity and Difunctionality of Bisimulations

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-40370-0_4 ◽

2016 ◽

pp. 33-52

Author(s):

Mehdi Zarrad ◽

H. Peter Gumm

Download Full-text

Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-40370-0_7 ◽

2016 ◽

pp. 94-113

Author(s):

Ekaterina Komendantskaya ◽

John Power

Keyword(s):

Logic Programming ◽

Theorem Proving

Download Full-text

Duality of Equations and Coequations via Contravariant Adjunctions

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-40370-0_6 ◽

2016 ◽

pp. 73-93

Author(s):

Julian Salamanca ◽

Marcello Bonsangue ◽

Jurriaan Rot

Download Full-text

Relational Lattices via Duality

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-40370-0_12 ◽

2016 ◽

pp. 195-215 ◽

Author(s):

Luigi Santocanale

Download Full-text

A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-40370-0_10 ◽

2016 ◽

pp. 156-173 ◽

Author(s):

David Sprunger

Download Full-text

Fixed Points of Functors - A Short Abstract

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-40370-0_1 ◽

2016 ◽

pp. 1-4

Author(s):

Jiří Adámek

Keyword(s):

Download Full-text

Compositional Coinduction with Sized Types

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-40370-0_2 ◽

2016 ◽

pp. 5-10 ◽

Author(s):

Andreas Abel

Download Full-text

On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-40370-0_13 ◽

2016 ◽

pp. 216-234 ◽

Author(s):

Ievgen Ivanov

Keyword(s):

Continuous Time ◽

Continuous Time Systems ◽

Local Characterization ◽

Download Full-text

Coalgebraic Completeness-via-Canonicity

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-40370-0_11 ◽

2016 ◽

pp. 174-194 ◽

Author(s):

Fredrik Dahlqvist

Download Full-text

Lawvere Categories as Composed PROPs

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-40370-0_3 ◽

2016 ◽

pp. 11-32

Author(s):

Filippo Bonchi ◽

Pawel Sobocinski ◽

Fabio Zanasi

Download Full-text