![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 604
Volume 604, November 2015
- Marcello M. Bonsangue
:
Preface. 1
- Ichiro Hasuo
:
Generic weakest precondition semantics from monads enriched with order. 2-29 - Bart Jacobs:
Dijkstra and Hoare monads in monadic computation. 30-45 - Marina Lenisa:
Multigames and strategies, coalgebraically. 46-62 - Baltasar Trancón y Widemann, Michael Hauhs
:
Algebraic-coalgebraic recursion theory of history-dependent dynamical system models. 63-80 - Robert S. R. Myers, Jirí Adámek, Stefan Milius, Henning Urbat:
Coalgebraic constructions of canonical nondeterministic automata. 81-101 - Filippo Bonchi
, Stefan Milius, Alexandra Silva, Fabio Zanasi
:
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure. 102-126
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.