scientific article
From MaRDI portal
Publication:3330551
zbMath0542.68075MaRDI QIDQ3330551
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
domain theoryrecursive data structuresaxiom systemssyntax treeschain-complete formulasConstructor functionsfinite listslazy listsLCF theorem proverStructural induction
Abstract data types; algebraic specification (68Q65) Mechanization of proofs and logical operations (03B35)
Related Items (2)
Recursively defined domains and their induction principles ⋮ Modified weighted squared error estimation procedures with special emphasis on the stable laws
This page was built for publication:
