Volume 343, Numbers 1-2, 10 October 2005 Game Theory Meets Theoretical Computer Science
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcs/AmbuhlCPRS05 export record as
dblp key:
journals/tcs/AichholzerBDHKKRSU05 export record as
dblp key:
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
export record as
dblp key:
export record as
dblp key:
journals/tcs/FeigenbaumFPS05 export record as
dblp key:
journals/tcs/GairingLMMS05 export record as
dblp key:
Oleg Verbitsky :
The first order definability of graphs with separators via the Ehrenfeucht game.
158-176
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 343, Number 3, 17 October 2005 Formal Methods for Components and Objects Preface
export record as
dblp key:
Contributions
export record as
dblp key:
export record as
dblp key:
journals/tcs/Diaconescu05 Razvan Diaconescu :
Behavioural specification for hierarchical object composition.
305-331
export record as
dblp key:
export record as
dblp key:
journals/tcs/GurevichRS05 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Robert F. Stärk :
Formal specification and verification of the C# thread model.
482-508
export record as
dblp key:
data released under the ODC-BY 1.0 license
