A. Asperti, P.Coppola, S.Martini. (2004). (Optimal) duplication is not elementary recursive. INFORMATION AND COMPUTATION, 193(1), 21-56 [10.1016/j.ic.2004.05.001].
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.