default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 343
Volume 343, Numbers 1-2, 10 October 2005
- Samson Abramsky
, Marios Mavronicolas:
Game Theory Meets Theoretical Computer Science. 1-3 - Luis López, Gemma del Rey Almansa, Stéphane Paquelet, Antonio Fernández:
A mathematical model for the TCP Tragedy of the Commons. 4-26 - Christoph Ambühl, Andrea E. F. Clementi, Paolo Penna, Gianluca Rossi, Riccardo Silvestri:
On the approximability of the range assignment problem on radio networks in presence of selfish agents. 27-41 - Oswin Aichholzer, David Bremner, Erik D. Demaine, Ferran Hurtado, Evangelos Kranakis, Hannes Krasser, Suneeta Ramaswami, Saurabh Sethia, Jorge Urrutia:
Games on triangulations. 42-71 - Robert A. Hearn, Erik D. Demaine:
PSPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation. 72-96 - Yoav Shoham, Moshe Tennenholtz:
Non-cooperative computation: Boolean functions with correctness and exclusivity. 97-113 - Joan Feigenbaum, Lance Fortnow, David M. Pennock, Rahul Sami:
Computation in a distributed information market. 114-132 - Martin Gairing, Thomas Lücking, Marios Mavronicolas, Burkhard Monien, Paul G. Spirakis:
Structure and complexity of extreme Nash equilibria. 133-157 - Oleg Verbitsky:
The first order definability of graphs with separators via the Ehrenfeucht game. 158-176 - Olivier Laurent:
Syntax vs. semantics: A polarized approach. 177-206 - Andrzej S. Murawski:
Games for complexity of second-order call-by-name programs. 207-236 - Paul-André Melliès:
Sequential algorithms and strongly stable functions. 237-281
Volume 343, Number 3, 17 October 2005
- Frank S. de Boer, Marcello M. Bonsangue:
Preface. 283-284
- Jan A. Bergstra, Inge Bethke:
Polarized process algebra with reactive composition. 285-304 - Razvan Diaconescu:
Behavioural specification for hierarchical object composition. 305-331 - Jan Friso Groote, Tim A. C. Willemse:
Parameterised boolean equation systems. 332-369 - Yuri Gurevich, Benjamin Rossman, Wolfram Schulte:
Semantic essence of AsmL. 370-412 - Cees Pierik, Frank S. de Boer:
A proof outline logic for object-oriented programming. 413-442 - Jan J. M. M. Rutten:
A tutorial on coinductive stream calculus and signal flow graphs. 443-481 - Robert F. Stärk:
Formal specification and verification of the C# thread model. 482-508 - Heike Wehrheim:
Slicing techniques for verification re-use. 509-528
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.
last updated on 2025-04-04 23:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
