S., C., Cialdea, M. (2000). Labelled Tableaux for Propositional Linear Time Logic over Finite Frames. In M.D. D. Basin (a cura di), Labelled Deduction (pp. 135-159). Kluwer.
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.