scientific article; zbMATH DE number 1390335

zbMath0945.68023MaRDI QIDQ4934624

Douglas R. Smith

Publication date: 17 January 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

software development

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Theory Presentation Combinators, \textit{Theorema}: Towards computer-aided mathematical theory exploration, Defining effectiveness using finite sets. A study on computability