Journal title
Bulletin of the Section of Logic

JOURNAL'S COLLECTIONS

Home / Bulletin of the Section of Logic / Núm: Early V Par: 0 (PP) / Article

ARTICLE

TITLE

One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity

Pawel Placzek

SUMMARY

No disponible

PAGES

NUMBER

Número: Early V Parte: 0 (PP)

COLLECTIONS

Pure sciences

JOURNALS RELATED

Bulletin of the Section of Logic

Articles related