Electronic Notes in Theoretical Computer Science, Volume 48

Volume 48, 2001

Declarative Programming - Selected Papers from AGP 2000
La Habana (CUBA), December 4-6, 2000