scientific article; zbMATH DE number 3551846

From MaRDI portal

Revision as of 08:41, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4125718

Jump to:navigation, search

zbMath0354.68019MaRDI QIDQ4125718

No author found.

Publication date: 1976

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) General topics in the theory of software (68N01)

Related Items (4)

Mechanizing structural induction. I: Formal system ⋮ Mechanizing structural induction. II: Strategies ⋮ Recursion over realizability structures ⋮ Inheritance as implicit coercion

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4125718&oldid=17912184"