Electronic Notes in Theoretical Computer Science, Volume 90

LICS 2003: Eighteenth Annual IEEE Symposium on Logic in Computer Science - Workshops

Volume 90, Number 1, 2003

ICC 2003: Fifth International Workshop on Implicit Computational Complexity
June 2003
ICC 2003 Home Page

Anuj Dawar:
Preface.
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion:
Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH.
Lars Kristiansen, Karl-Heinz Niggl:
The Garland Measure and Computational Complexity of Stack Programs.
Emanuele Covino, Giovanni Pani:
A Refinement of the µ-measure for Stack Programs.
Yanhong A. Liu:
Iterate, Incrementalize, and Implement: A systematic approach to efficiency improvement and guarantees.