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 ).

Proof Systems with Cut Elimination for MTL$^{\leq_Q}$

PINNA, GIOVANNI MICHELE;
1998

1998
ICTCS 1998
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/1777181
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact