Temporal Logic: Mathematical Foundations and Computational Aspects (2) - Couverture rigide

Gabbay, Dov M; Finger, M.; Reynolds, M.

 
9780198537687: Temporal Logic: Mathematical Foundations and Computational Aspects (2)
Couverture rigide
ISBN 10 : 0198537689 ISBN 13 : 9780198537687
Editeur : Oxford University Press, 2000

Synopsis

This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Revue de presse

The book presents some fundamental theorems which help to prove or disprove the expressiveness completeness of a temporal logic. Although the book is focused mainly on the authors' research, the breadth of their research allows them to cover a lot of interesting material ... a very comprehensive study of temporal logics, their expressiveness and axiomatization ... it is very thorough and presents the subjects of its focus in great depth. It can point practitioners of this field to existing results and thus is recommended as a good research reference. (D. Peled, The Computer Journal,)

'This book represents the fruitful achievments of the authors' outstanding accomplishments and coooperation in the field of temporal logic, providing a comprehensive mathematical and computational tool for research and applications of the domain... na extensive bibliography of 666 basic titles in the field, and adequate indexes, add to the high quality and usefulness of the book' Zentralblatt Math

Présentation de l'éditeur

This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Oxford University Press
Date d'édition
2000
Langue
anglais
ISBN 10 
0198537689
ISBN 13 
9780198537687
Reliure
Relié
Nombre de pages
612
Coordonnées du fabricant
non disponible
Personne responsable
Ufficio Anagrafiche Messaggerie
ufficio.anagrafiche@meli.it

Via Verdi, 8
Assago Milano
20090
Italie