TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Deduction theorem in monoidal logic

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
Sivut63-66
JulkaisuJournal of the Calcutta Mathematical Society
Vuosikerta3
Numero1&2
TilaJulkaistu - 2007
OKM-julkaisutyyppiA1 Alkuperäisartikkeli

Julkaisufoorumi-taso