scientific article; zbMATH DE number 1424015
From MaRDI portal
Publication:4945204
zbMath0944.03009MaRDI QIDQ4945204
No author found.
Publication date: 20 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
unique fixed pointrecursive functionswell-founded recursionIsabelle theorem provercontracting functionconverging equivalence relation
Mechanization of proofs and logical operations (03B35) Recursive functions and relations, subrecursive hierarchies (03D20)
Related Items
Adapting functional programs to higher order logic ⋮ A term calculus for (co-)recursive definitions on streamlike data structures ⋮ Inductive and Coinductive Components of Corecursive Functions in Coq
Uses Software
This page was built for publication: