scientific article; zbMATH DE number 1555192
From MaRDI portal
Publication:4525292
zbMath0953.68519MaRDI QIDQ4525292
Wilfried Sieg, Stanley S. Wainer
Publication date: 22 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication: