Proof Systems with Cut Elimination for MTL$^{\leq_Q}$ / Montagna, F., Pinna, G.M., Tiezzi Elisa, B.P.. - (1998), pp. 141-152. (ICTCS 1998 Prato, Italy ).
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.


