Title: Symposium on Logic in Computer Science: Lics '94 : Proceedings