books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 357; Issue 1-3
Main
Theoretical Computer Science
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
Your tags:
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
Your tags:
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
Your tags:
english, 2006
4
From truth to computability I
Giorgi Japaridze
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 448 KB
Your tags:
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
Your tags:
english, 2006
6
Logic of subtyping
Pavel Naumov
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 308 KB
Your tags:
english, 2006
7
Lambek calculus is NP-complete
Mati Pentus
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 320 KB
Your tags:
english, 2006
8
An arithmetic for polynomial-time computation
Helmut Schwichtenberg
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 225 KB
Your tags:
english, 2006
9
Geometrical semantics for linear logic (multiplicative fragment)
Sergey Slavnov
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 227 KB
Your tags:
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
Your tags:
english, 2006
11
Editorial board v-ix
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 117 KB
Your tags:
english, 2006
12
Author index
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 112 KB
Your tags:
english, 2006
13
Preface
Sergei Artemov
,
Michael Mislove
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 118 KB
Your tags:
english, 2006
14
Abstract canonical presentations
Nachum Dershowitz
,
Claude Kirchner
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 248 KB
Your tags:
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
Your tags:
english, 2006
16
Referential logic of proofs
Vladimir N. Krupski
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 377 KB
Your tags:
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
Your tags:
english, 2006
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×