Electronic Notes in Theoretical Computer Science, Volume 58

Volume 58, Number 1, 2001

MERLIN 2001: Mechanized Reasoning about Languages with Variable Binding, Siena, 18/6/2001, held in connection with IJCAR 2001

Volume 58, Number 2, 2001

4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001) - Selected Papers, Siena, Italy, June 18, 2001