Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical 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
a service of 
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.
last updated on 2024-04-25 21:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
