Theoretical Computer Science, Volume 286

Volume 286, Number 1, September 2002

Mathematical Foundations of Computer Science

Volume 286, Number 2, September 2002

Current trends in Algebraic Development Techniques