scientific article; zbMATH DE number 3551846
From MaRDI portal
Publication:4125718
zbMath0354.68019MaRDI QIDQ4125718
No author found.
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) General topics in the theory of software (68N01)
Related Items
Mechanizing structural induction. I: Formal system, Mechanizing structural induction. II: Strategies, Recursion over realizability structures, Inheritance as implicit coercion
