J. C. M. Baeten, J. A. Bergstra (auth.), Horst Reichel (eds.)

Fundamentals of Computation Theory: 10th International Conference, FCT ’95 Dresden, Germany, August 22–25, 1995 Proceedings