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

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030003883, 9783030003890
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals On Algebras with Effectful Iteration

2018 ◽  
pp. 144-166 ◽  
Author(s):  
Stefan Milius ◽  
Jiří Adámek ◽  
Henning Urbat

scholarly journals Steps and Traces

2018 ◽  
pp. 122-143 ◽  
Author(s):  
Bart Jacobs ◽  
Paul Levy ◽  
Jurriaan Rot

scholarly journals Fibrational Bisimulations and Quantitative Reasoning

2018 ◽  
pp. 190-213 ◽  
Author(s):  
David Sprunger ◽  
Shin-ya Katsumata ◽  
Jérémy Dubut ◽  
Ichiro Hasuo
Keyword(s):  
Quantitative Reasoning

scholarly journals Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

2018 ◽  
pp. 56-77
Author(s):  
Ulrich Dorsch ◽  
Stefan Milius ◽  
Lutz Schröder ◽  
Thorsten Wißmann
Load More ...
Sign in / Sign up

Export Citation Format

Share Document