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 47; Issue 1
Main
Theory of Computing Systems
Volume 47; Issue 1
Theory of Computing Systems
Volume 47; Issue 1
1
The Deduction Theorem for Strong Propositional Proof Systems
Olaf Beyersdorff
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 404 KB
Your tags:
english, 2010
2
Border Correlations of Partial Words
F. Blanchet-Sadri
,
E. Clader
,
O. Simpson
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 433 KB
Your tags:
english, 2010
3
Fixed-Parameter Algorithms for
Falk Hüffner
,
Christian Komusiewicz
,
Hannes Moser
,
Rolf Niedermeier
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 654 KB
Your tags:
english, 2010
4
Stackelberg Strategies for Atomic Congestion Games
Dimitris Fotakis
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 786 KB
Your tags:
english, 2010
5
The Solvability Problem for Quadratic Equations over
O. Kharlampovich
,
I. G. Lysënok
,
A. G. Myasnikov
,
N. W. M. Touikan
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 314 KB
Your tags:
english, 2010
6
Strongly Terminating Early-Stoppingk-Set Agreement in Synchronous Systems with General Omission Failures
Philippe Raïpin Parvédy
,
Michel Raynal
,
Corentin Travers
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 639 KB
Your tags:
english, 2010
7
Reductions to Graph Isomorphism
Jacobo Torán
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 382 KB
Your tags:
english, 2010
8
Sensitivity of Wardrop Equilibria
Matthias Englert
,
Thomas Franke
,
Lars Olbrich
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 421 KB
Your tags:
english, 2010
9
Non-Cooperative Cost Sharing Games via Subsidies
Niv Buchbinder
,
Liane Lewin-Eytan
,
Joseph (Seffi) Naor
,
Ariel Orda
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 644 KB
Your tags:
english, 2010
10
Atomic Congestion Games: Fast, Myopic and
D. Fotakis
,
A. C. Kaporis
,
P. G. Spirakis
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 596 KB
Your tags:
english, 2010
11
Facets of the Fully Mixed Nash Equilibrium Conjecture
Rainer Feldmann
,
Marios Mavronicolas
,
Andreas Pieris
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 912 KB
Your tags:
english, 2010
12
Congestion Games with Linearly Independent Paths: Convergence Time and Price of Anarchy
Dimitris Fotakis
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 599 KB
Your tags:
english, 2010
13
Preface
Burkhard Monien
,
Ulf-Peter Schroeder
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 110 KB
Your tags:
english, 2010
14
TCP is Competitive with Resource Augmentation
Jeff Edmonds
,
Suprakash Datta
,
Patrick Dymond
Journal:
Theory of Computing Systems
Year:
2010
Language:
english
File:
PDF, 620 KB
Your tags:
english, 2010
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
×
×