Artículos relacionados a Logics of Time and Computation (Center for the Study...
Logics of Time and Computation (Center for the Study of Language and Information Publication Lecture Notes) - Tapa dura
Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.
"Sinopsis" puede pertenecer a otra edición de este libro.
Críticas:
"This is a short but excellent introduction to modal, temporal, and dynamic logic....It manages to cover, in highly readable style, the basic cimpleteness, decidability, and expressability results in a variety of logics of the three kinds considered." Rohit Parikh, Journal of Symbolic Logic
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialThe Center for the Study of Language and Information Publications
- Año de publicación1992
- ISBN 10 0937073938
- ISBN 13 9780937073933
- EncuadernaciónTapa dura
- Número de edición2
(Ningún ejemplar disponible)
Buscar: Crear una peticiónSi conoce el autor y el título del libro pero no lo encuentra en IberLibro, nosotros podemos buscarlo por usted e informarle por e-mail en cuanto el libro esté disponible en nuestras páginas web.
Crear una petición