Electronic Notes in Theoretical Computer Science, Volume 40

Volume 40, 2000

The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT2000)
Cork, Ireland, 20th and 21st July, 2000