scientific article; zbMATH DE number 1499088
From MaRDI portal
zbMath0964.03512MaRDI QIDQ4501142
Publication date: 3 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
Unnamed Item, Unnamed Item, A PSPACE-complete fragment of second-order linear logic, Connection methods in linear logic and proof nets construction, Efficient resource management for linear logic proof search, Proof-search in type-theoretic languages: An introduction
