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...
Autores principales: | , , , |
---|---|
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 |