default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 604

> Home > Journals > Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 604, November 2015

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Bonsangue15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Bonsangue15
Marcello M. Bonsangue:
Preface. 1

Special issue articles

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Hasuo15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Hasuo15
Ichiro Hasuo:
Generic weakest precondition semantics from monads enriched with order. 2-29
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Jacobs15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Jacobs15
Bart Jacobs:
Dijkstra and Hoare monads in monadic computation. 30-45
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Lenisa15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Lenisa15
Marina Lenisa:
Multigames and strategies, coalgebraically. 46-62
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/WidemannH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/WidemannH15
Baltasar Trancón y Widemann, Michael Hauhs:
Algebraic-coalgebraic recursion theory of history-dependent dynamical system models. 63-80
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MyersAMU15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MyersAMU15
Robert S. R. Myers, Jirí Adámek, Stefan Milius, Henning Urbat:
Coalgebraic constructions of canonical nondeterministic automata. 81-101
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BonchiM0Z15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BonchiM0Z15
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi:
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure. 102-126

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.