scientific article; zbMATH DE number 1552348
From MaRDI portal
Publication:4524593
zbMath0965.03041MaRDI QIDQ4524593
Bernard Ycart, Marie-Christine Rousset
Publication date: 19 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Subsystems of classical logic (including intuitionistic logic) (03B20)
This page was built for publication: