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