default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 625

> 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 625, April 2016

Contributions

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GangeNSSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GangeNSSS16
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A complete refinement procedure for regular separability of context-free languages. 1-24
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LaneseMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LaneseMS16
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
Reversibility in the higher-order π-calculus. 25-84
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BenerecettiP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BenerecettiP16
Massimo Benerecetti, Adriano Peron:
Timed recursive state machines: Expressiveness and complexity. 85-124
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AschieriZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AschieriZ16
Federico Aschieri, Margherita Zorzi:
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem. 125-146

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.