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].

Directed virtual reductions

PEDICINI, MARCO;
1997-01-01

1997
0302-9743
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11590/186953
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 6
social impact