Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 435

> 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 435, June 2012

Preface

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BlumeV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BlumeV12
Matthias Blume, Germán Vidal:
Preface. 1-2

Contributions

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BerardiT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BerardiT12
Stefano Berardi, Makoto Tatsuta:
Internal models of system F for decompilation. 3-20
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DanvyMMZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DanvyMMZ12
Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny:
On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation. 21-42
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HoweK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HoweK12
Jacob M. Howe, Andy King:
A pearl on SAT and SMT solving in Prolog. 43-55
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Kiselyov12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Kiselyov12
Oleg Kiselyov:
Delimited control in OCaml, abstractly and concretely. 56-76
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/RemyY12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/RemyY12
Didier Rémy, Boris Yakobowski:
A church-style intermediate language for MLF. 77-105
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Saurin12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Saurin12
Alexis Saurin:
Böhm theorem and Böhm trees for the λμ-calculus. 106-138

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.