Tableaux and Algorithms for Propositional Dynamic Logic with Converse / DE GIACOMO, Giuseppe; Fabio, Massacci. - 1104:(1996), pp. 613-628. [10.1007/3-540-61511-3_117]
File allegati a 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.