scientific article; zbMATH DE number 1499080
From MaRDI portal
Publication:4501132
zbMath0964.03524MaRDI QIDQ4501132
I. Kh. Musikaev, Mikhail I. Dekhtyar, Dmitri A. Archangelsky, Evgeny Kruglov, Michael A. Taitslin
Publication date: 3 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Complexity of computation (including implicit computational complexity) (03D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items