default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 357

> 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 357, Numbers 1-3, July 2006

Clifford Lectures and the Mathematical Foundations of Programming Semantics

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ArtemovM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ArtemovM06
Sergei N. Artëmov, Michael W. Mislove:
Preface. 1-3

Contributions

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Artemov06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Artemov06
Sergei N. Artëmov:
Justified common knowledge. 4-22
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BrezhnevK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BrezhnevK06
Vladimir Brezhnev, Roman Kuznets:
Making knowledge explicit: How hard it is. 23-34
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Buss06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Buss06
Samuel R. Buss:
Polynomial-size Frege and resolution proofs of st-connectivity and Hex tautologies. 35-52
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DershowitzK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DershowitzK06
Nachum Dershowitz, Claude Kirchner:
Abstract canonical presentations. 53-69
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HylandPP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HylandPP06
Martin Hyland, Gordon D. Plotkin, John Power:
Combining effects: Sum and tensor. 70-99
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Japaridze06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Japaridze06
Giorgi Japaridze:
From truth to computability I. 100-135
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Krupski06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Krupski06
Nikolai V. Krupski:
On the complexity of the reflected logic of proofs. 136-142
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Krupski06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Krupski06a
Vladimir Krupski:
Referential logic of proofs. 143-166
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Naumov06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Naumov06
Pavel Naumov:
Logic of subtyping. 167-185
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Pentus06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Pentus06
Mati Pentus:
Lambek calculus is NP-complete. 186-201
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Schwichtenberg06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Schwichtenberg06
Helmut Schwichtenberg:
An arithmetic for polynomial-time computation. 202-214
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Slavnov06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Slavnov06
Sergey Slavnov:
Geometrical semantics for linear logic (multiplicative fragment). 215-229
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/JaegerES06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/JaegerES06
Frédéric De Jaeger, Martín Hötzel Escardó, Gabriele Santini:
On the computational content of the Lawson topology. 230-240
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FajstrupRG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FajstrupRG06
Lisbeth Fajstrup, Martin Raußen, Eric Goubault:
Algebraic topology and concurrency. 241-278

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.