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
Personal
Book Requests
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 322; Issue 1
Main
Theoretical Computer Science
Volume 322; Issue 1
Theoretical Computer Science
Volume 322; Issue 1
1
Foreword
Patrick Cégielski
,
Malika More
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 152 KB
Your tags:
english, 2004
2
Well-behaved principles alternative to bounded induction
Zofia Adamowicz
,
Leszek Aleksander Kołodziejczyk
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 248 KB
Your tags:
english, 2004
3
On the complexity of decision using destinies in H-bounded structures
A Chateau
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 391 KB
Your tags:
english, 2004
4
Recursion and topology on 2⩽ω for possibly infinite computations
Verónica Becher
,
Serge Grigorieff
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 542 KB
Your tags:
english, 2004
5
Arithmetical definability and computational complexity
Yassine Hachaı̈chi
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 223 KB
Your tags:
english, 2004
6
Winning strategies for infinite games: from large cardinals to computer science extended abstract
Jean-Pierre Ressayre
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 169 KB
Your tags:
english, 2004
7
EMSO-logic and automata related to homogeneous flow event structures
K Shahbazyan
,
Yu Shoukourian
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 359 KB
Your tags:
english, 2004
8
On some generalizations of the primitive recursive arithmetic
I.D Zaslavsky
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 212 KB
Your tags:
english, 2004
9
Editorial board v-ix
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 107 KB
Your tags:
english, 2004
10
A strong induction scheme that leads to polynomially computable realizations
Anatoly Petrivich Beltiukov
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 250 KB
Your tags:
english, 2004
11
Closure properties of locally finite ω-languages
Olivier Finkel
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 270 KB
Your tags:
english, 2004
12
Three-variable statements of set-pairing
Andrea Formisano
,
Eugenio G Omodeo
,
Alberto Policriti
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 402 KB
Your tags:
english, 2004
13
Subset sum “cubes” and the complexity of primality testing
Alan R. Woods
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 268 KB
Your tags:
english, 2004
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
×
×