Mu-calculus and the hierarchy problem, the
Auteur :
Lenzi, Giacomo
Éditeur :
Birkhauser Verlag AG
ISBN :
9788876422836
Date de publication :
1 oct. 1998
Dimensions :
24,0 x 17,0 x 0,8 cm
Poids :
227 g
Langue :
Anglais
Pays d'origine :
Italie
Feature a thesis, the subject of which is the Mu-calculus, which represents a research area in both theoretical and practical Computer Science. The Mu-calculus is a logic capable of expressing least and greatest solutions of fixpoint equations x=f(x), where f is a monotone function mapping some complete ordered set into itself.