default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 604

> Home > Journals > Theoretical Computer Science

SPARQL queries

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.