Proceedings : Symposium on Logic in Computer Science, LICS '94, CNAM, Paris, France, July 4-7, 1994 - Symposium on Logic in Computer Science; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing; Institut national de recherche en informatique et en automatique (France) (IEEE Computer Society Press, 1994)