scientific article; zbMATH DE number 1107768

MaRDI QIDQ4373718zbMATH OpenFDO

Authors Mirosław Majewski

Publication date 21 January 1998

zbMATH Keywords

mutual induction

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Induction using term orderings
• scientific article; zbMATH DE number 4099283
• scientific article; zbMATH DE number 3938531
• scientific article; zbMATH DE number 1163362
• On systems of definitions, induction and recursion

Cited in

(1)

• scientific article; zbMATH DE number 4099283 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4373718)