S., C., Cialdea, M., S., P. (1999). First Order Linear Time Tem- poral Logic over Finite Time Frames is not Semi-decidable. In Proc. of the Workshop Methods for Modalities 1 (M4M).
First Order Linear Time Tem- poral Logic over Finite Time Frames is not Semi-decidable
CIALDEA, Marta;
1999-01-01
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.
