Temporal Logic,
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Temporal Logic,
|
| Id. |
41685214 |
| Idioma |
inglés
|
| Titulo |
Temporal Logic, |
| Localización |
http://citeseer.ist.psu.edu/250098.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Introduction ---
Notes for the Sixth European Summer School
in Logic, Language, and Information,
Copenhagen 1994
Mads Dam
Swedish Institute of Computer Science
1 Introduction and Overview
The area of intersection between temporal logic, automata on finite and infinite
objects, and classical first- or restricted second-order logics is one of considerable
richness. All these areas have long and venerable traditions in mathematics, logic,
and theoretical computer science, and their intimate relationships have been realised
for quite some time. Indeed, automata of infinite objects were invented
for the purpose of just answering decidability issues in classical first- or restricted
second-order logics. However, the area has remained open to new points-of-view
and insights, and very fundamental questions have yet to be both asked and answered.
The point of departure here is that of programs, the computations that programs
give rise
|
| Tipo |
ps
|
| Palabras clave |
Temporal Logic,
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] ftp://www.sics.se/pub/fdt/mfd/tlact.ps.Z
|
| Fecha de contribución |
31-mar-2009 |
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
