MR2588403 (2011b:03087) Baillot, Patrick; Mazza, Damiano Linear logic by levels and bounded time complexity. Theoret. Comput. Sci. 411 (2010), no. 2, 470–503. (Reviewer: Luca Roversi), 03F52 (03D15)
ROVERSI, Luca
2011-01-01
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.