scientific article
From MaRDI portal
Publication:3993347
zbMath0749.68003MaRDI QIDQ3993347
David R. Musser, Alexander A. Stepanov
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Data structures (68P05) Theory of software (68N99) Software, source code, etc. for problems pertaining to computer science (68-04)
Related Items
An overview of the Tecton proof system, Regular Expressions at Their Best: A Case for Rational Design
Uses Software