Electronic Notes in Theoretical Computer Science, Volume 30

Volume 30, Number 1, 1999

ICLP'99 International Conference on Logic Programming: Workshop on Verification of Logic Programs, Las Cruces, New Mexico, USA, December 1, 1999

Volume 30, Number 2, 1999

ICLP'99 International Conference on Logic Programming: WOID'99: Workshop on Optimization and Implementation of Declarative Programs, Las Cruces (New Mexico, USA), December 2-3, 1999

Volume 30, Number 3, 1999

ICLP'99 International Conference on Logic Programming: Parallelism and Implementation Technology for (Constraint) Logic Programming

Volume 30, Number 4, 1999

ICLP'99 International Conference on Logic Programming: WLPE'99, Tenth Workshop on Logic Programming Environments, Las Cruces, New Mexico, USA, November 29, 1999