scientific article; zbMATH DE number 2185720

MaRDI QIDQ3024913zbMATH OpenFDO

Authors Jan Małolepszy, Małgorzata Moczurad, Marek Zaionc

Publication date 4 July 2005

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• scientific article; zbMATH DE number 2182490
• \(\lambda\)-definability of free algebras
• scientific article; zbMATH DE number 512784
• scientific article; zbMATH DE number 1984520
• scientific article; zbMATH DE number 17832

Cited in

(8)

• On -definability of arithmetical functions with indeterminate values of arguments
• scientific article; zbMATH DE number 17832 (Why is no real title available?)
• scientific article; zbMATH DE number 512784 (Why is no real title available?)
• scientific article; zbMATH DE number 1984520 (Why is no real title available?)
• scientific article; zbMATH DE number 2061708 (Why is no real title available?)
• scientific article; zbMATH DE number 6792351 (Why is no real title available?)
• Lambda-definable term rewriting systems
• \(\lambda\)-definability of free algebras

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 Q3024913)