Volume 357; Issue 1-3

Theoretical Computer Science

Volume 357; Issue 1-3
1

Justified common knowledge

Sergei Artemov
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 304 KB
english, 2006
2

Making knowledge explicit: How hard it is

Vladimir Brezhnev, Roman Kuznets
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 219 KB
english, 2006
3

Polynomial-size Frege and resolution proofs of st-connectivity and Hex tautologies

Samuel R. Buss
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 326 KB
english, 2006
4

From truth to computability I

Giorgi Japaridze
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 448 KB
english, 2006
5

On the complexity of the reflected logic of proofs

Nikolai V. Krupski
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 175 KB
english, 2006
6

Logic of subtyping

Pavel Naumov
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 308 KB
english, 2006
7

Lambek calculus is NP-complete

Mati Pentus
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 320 KB
english, 2006
8

An arithmetic for polynomial-time computation

Helmut Schwichtenberg
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 225 KB
english, 2006
9

Geometrical semantics for linear logic (multiplicative fragment)

Sergey Slavnov
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 227 KB
english, 2006
10

On the computational content of the Lawson topology

Frédéric De Jaeger, Martín Escardó, Gabriele Santini
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 213 KB
english, 2006
11

Editorial board v-ix

Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 117 KB
english, 2006
12

Author index

Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 112 KB
english, 2006
13

Preface

Sergei Artemov, Michael Mislove
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 118 KB
english, 2006
14

Abstract canonical presentations

Nachum Dershowitz, Claude Kirchner
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 248 KB
english, 2006
15

Combining effects: Sum and tensor

Martin Hyland, Gordon Plotkin, John Power
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 451 KB
english, 2006
16

Referential logic of proofs

Vladimir N. Krupski
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 377 KB
english, 2006
17

Algebraic topology and concurrency

Lisbeth Fajstrup, Martin Raußen, Eric Goubault
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 660 KB
english, 2006