scientific article; zbMATH DE number 1231523

zbMath0908.03012MaRDI QIDQ4222838

François Métayer

Publication date: 13 December 1998

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

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

zbMATH Keywords

decision problemsfragments of multiplicative linear logiccyclic linear logicnoncommutative proofnets

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: