Cargando…

Advances in temporal logic

Time is a fascinating subject that has captured mankind's imagination from ancient times to the present. It has been, and continues to be studied across a wide range of disciplines, from the natural sciences to philosophy and logic. More than two decades ago, Pnueli in a seminal work showed the...

Descripción completa

Detalles Bibliográficos
Autores principales: Barringer, Howard, Fisher, Michael, Gabbay, Dov, Gough, Graham
Lenguaje:eng
Publicado: Springer 2000
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-94-015-9586-5
http://cds.cern.ch/record/1667175