Danos, V., Pedicini, M., Regnier, L. (1997). Directed virtual reductions. In Computer science logic (Utrecht, 1996) (pp.76-88). BERLINO : Springer Verlag [10.1007/3-540-63172-0_33].
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.