scientific article; zbMATH DE number 5050924
From MaRDI portal
Publication:5485626
zbMath1109.68387MaRDI QIDQ5485626
Publication date: 31 August 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Computing methodologies for text processing; mathematical typography (68U15)
Related Items
Packaging Data Analytical Work Reproducibly Using R (and Friends) ⋮ Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge ⋮ Algebraic specification of documents ⋮ The Subject-Oriented Approach to Software Design and the Abstract State Machines Method ⋮ Some perspectives on statistical computing ⋮ Topologically sweeping visibility complexes via pseudotriangulations ⋮ The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider’s “Logical Approach to Discrete Math”
Uses Software
