Mathematical foundations of computer science 2000

by Mogens Nielsen, Branislav Rovan, Gerhard Goos, Juris Hartmanis

This volume contains papers selected for presentation at the Silver Jubilee 25th Symposium on Mathematical Foundations of Computer Science | MFCS 2000, held in Bratislava, Slovakia, August 28 { Sep…