Theoretical Computer Science, Volume 318

Volume 318, Number 1-2, 6 June 2004

Implicit Computational Complexity

Jean-Yves Marion:
Editorial: Implicit Computational Complexity. 1
Electronic Edition (link) BibTeX
Klaus Aehlig, Ulrich Berger, Martin Hofmann, Helmut Schwichtenberg:
An arithmetic for non-size-increasing polynomial-time computation. 3-27
Electronic Edition (link) BibTeX
Patrick Baillot:
Stratified coherence spaces: a denotational semantics for light linear logic. 29-55
Electronic Edition (link) BibTeX
S. Bellantoni, Isabel Oitavem:
Separating NC along the delta axis. 57-78
Electronic Edition (link) BibTeX
Ralph Benzinger:
Automated higher-order complexity analysis. 79-103
Electronic Edition (link) BibTeX
Norman Danner, Chris Pollett:
Minimization and NP multifunctions. 105-119
Electronic Edition (link) BibTeX
Martin Hofmann, Philip J. Scott:
Realizability models for BLL-like languages. 121-137
Electronic Edition (link) BibTeX
Lars Kristiansen, Karl-Heinz Niggl:
On the computational complexity of imperative programming languages. 139-161
Electronic Edition (link) BibTeX
Yves Lafont:
Soft linear logic and polynomial time. 163-180
Electronic Edition (link) BibTeX
Daniel Leivant:
Intrinsic reasoning about functional programs II: unipolar induction and primitive-recursion. 181-196
Electronic Edition (link) BibTeX
Andrzej S. Murawski, C.-H. Luke Ong:
On an interpretation of safe recursion in light affine logic. 197-223
Electronic Edition (link) BibTeX
James S. Royer:
On the computational complexity of Longley's H functional. 225-241
Electronic Edition (link) BibTeX

Volume 318, Number 3, 8 June 2004

Mila E. Majster-Cederbaum, Frank Salger:
Towards the hierarchical verification of reactive systems. 243-296
Electronic Edition (link) BibTeX
Rajeev Alur, Salvatore La Torre, George J. Pappas:
Optimal paths in weighted timed automata. 297-322
Electronic Edition (link) BibTeX
Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Metrics for labelled Markov processes. 323-354
Electronic Edition (link) BibTeX
Georg Karner:
Continuous monoids and semirings. 355-372
Electronic Edition (link) BibTeX
Sabine Broda, Luís Damas, Marcelo Finger, Paulo Silva e Silva:
The decidability of a fragment of BB'IW-logic. 373-408
Electronic Edition (link) BibTeX
Ugo Dal Lago, Simone Martini:
Phase semantics and decidability of elementary affine logic. 409-433
Electronic Edition (link) BibTeX
Robin N. Banerjee, Andrés Bujosa:
A geometric interpretation of LD-resolution. 435-470
Electronic Edition (link) BibTeX