Horizons of the Mind. A Tribute to Prakash Panangaden
by Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten

No description available.
Logic, symbolic and mathematicalComputer scienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProbability and Statistics in Computer ScienceComputation by Abstract Devices