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

Volume 90, 2003

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

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