default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 394

> 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 394, Numbers 1-2, March 2008

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CourcelleD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CourcelleD08
Bruno Courcelle, Christian Delhommé:
The modular decomposition of countable graphs. Definition and construction in monadic second-order logic. 1-38

Contributions

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Zhang08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Zhang08
Yu Zhang:
Cryptographic logical relations. 39-63
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Laird08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Laird08
James Laird:
Decidability and syntactic control of interference. 64-83
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Calders08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Calders08
Toon Calders:
Itemset frequency satisfiability: Complexity and axiomatization. 84-111
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GarciaR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GarciaR08
Flavio D. Garcia, Peter van Rossum:
Sound and complete computational interpretation of symbolic hashes in the standard model. 112-133

Note

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KretinskyRS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KretinskyRS08
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek:
Petri nets are less expressive than state-extended PA. 134-140

Volume 394, Number 3, April 2008

From Gödel to Einstein: Computability between Logic and Physics

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BeckmannBL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BeckmannBL08
Arnold Beckmann, Edwin J. Beggs, Benedikt Löwe:
From Gödel to Einstein: Computability between logic and physics at CiE 2006. 141-143

Contributions

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Avron08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Avron08
Arnon Avron:
Constructibility and decidability versus domain independence and absoluteness. 144-158
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CockshottMM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CockshottMM08
W. Paul Cockshott, Lewis Mackenzie, Greg Michaelson:
Physical constraints on hypercomputation. 159-174
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Fouche08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Fouche08
Willem L. Fouché:
Dynamics of a generic Brownian motion: Recursive aspects. 175-186
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KendonM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KendonM08
Viv Kendon, Olivier Maloyer:
Optimal computation with non-unitary quantum walks. 187-196
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KoepkeS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KoepkeS08
Peter Koepke, Ryan Siders:
Minimality considerations for ordinal computers modeling constructibility. 197-207
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NagyV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NagyV08
Benedek Nagy, Sándor Vályi:
Interval-valued computations and their connection with PSPACE. 208-222
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Welch08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Welch08
Philip D. Welch:
Bounding lemmata for non-deterministic halting times of transfinite Turing machines. 223-228

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.