scientific article; zbMATH DE number 1231531

zbMath0908.03011MaRDI QIDQ4222846

Marco Pedicini

Publication date: 14 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#pedicini

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear logicbound for the cut-elimination procedurefragments of calculi

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Unnamed Item

This page was built for publication: