![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 394
Volume 394, Numbers 1-2, March 2008
- Bruno Courcelle, Christian Delhommé:
The modular decomposition of countable graphs. Definition and construction in monadic second-order logic. 1-38
- Yu Zhang:
Cryptographic logical relations. 39-63 - James Laird:
Decidability and syntactic control of interference. 64-83 - Toon Calders:
Itemset frequency satisfiability: Complexity and axiomatization. 84-111 - Flavio D. Garcia, Peter van Rossum:
Sound and complete computational interpretation of symbolic hashes in the standard model. 112-133
- 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
- Arnold Beckmann, Edwin J. Beggs, Benedikt Löwe:
From Gödel to Einstein: Computability between logic and physics at CiE 2006. 141-143
- Arnon Avron:
Constructibility and decidability versus domain independence and absoluteness. 144-158 - W. Paul Cockshott, Lewis Mackenzie, Greg Michaelson:
Physical constraints on hypercomputation. 159-174 - Willem L. Fouché
:
Dynamics of a generic Brownian motion: Recursive aspects. 175-186 - Viv Kendon
, Olivier Maloyer:
Optimal computation with non-unitary quantum walks. 187-196 - Peter Koepke, Ryan Siders:
Minimality considerations for ordinal computers modeling constructibility. 197-207 - Benedek Nagy, Sándor Vályi:
Interval-valued computations and their connection with PSPACE. 208-222 - Philip D. Welch
:
Bounding lemmata for non-deterministic halting times of transfinite Turing machines. 223-228
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.