Algebra and Logic

Proceedings Paper
Kahle,R
First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2000, Cork, Ireland, July 20-21, 2000
MFCSIT2000, The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology
Electronic Notes in Theoretical Computer Science
2000
40

206-219
10.1016/s1571-0661(05)80048-9