scientific article; zbMATH DE number 1222086

zbMath0914.68024MaRDI QIDQ4217580

Susumu Hayashi

Publication date: 11 November 1998

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

zbMATH Keywords

functional programmingconstructive programming

Mathematics Subject Classification ID

Logic in computer science (03B70) Other constructive mathematics (03F65) General topics in the theory of software (68N01)

Related Items (1)

Towards the animation of proofs -- testing proofs by examples

This page was built for publication: