On light logics, uniform encodings and polynomial time / DAL LAGO, Ugo; Baillot, P.. - In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. - ISSN 0960-1295. - STAMPA. - 16(4):(2006), pp. 713-733. [10.1017/S0960129506005421]
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.