by TACS '94 (1994 Sendai-han, Japan), Masami Hagiya, John C. Mitchell
"This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international…