Logica temporal de intervalos formalización de diagramas de estados

Tesis doctoral de Carlos Rossi Jimenez En este trabajo se definen dos lógicas temporales proposicionales sobre tiempo discreto, llamadas lnint […]

, , , , ,