Monotone Simulations of Nonmonotone Proofs / A., Atserias; Galesi, Nicola; P., Pudlak. - In: JOURNAL OF COMPUTER AND SYSTEM SCIENCES. - ISSN 0022-0000. - STAMPA. - 65(4):(2002), pp. 626-638. [10.1016/S0022-0000(02)00020-X]
File allegati a 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.