We study the decidabilite logics we consider are ts, and they allow one to“natural scale” in any come interactions between dier language combining opion, together with the uss, is considered, and the s shown to be decidable.
Decidability results for metric and layered temporal logics
MONTANARI, Angelo;POLICRITI, Alberto
1996-01-01
Abstract
We study the decidabilite logics we consider are ts, and they allow one to“natural scale” in any come interactions between dier language combining opion, together with the uss, is considered, and the s shown to be decidable.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
