Time structures: formal description and algorithmic representation
Auteur :
Hajnicz, Elzbieta
Éditeur :
Hajnicz, Elzbieta
ISBN :
9783540609414
Date de publication :
20 mars 1996
Dimensions :
23,4 x 15,6 x 1,3 cm
Poids :
820 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This work investigates the relationship between classic, first-order theories of point- and interval-based time structures, modal logics of corresponding structures and their algorithmic representations. It analyzes logical descriptions and algorithmic representions of time structures.