scientific article; zbMATH DE number 2172859

MaRDI QIDQ4680256zbMATH OpenFDO

Authors Isidore Fleischer

Publication date 9 June 2006

Full work available at URL https://eudml.org/doc/34602

zbMATH Keywords

semigroupsubstitutionpreiterative algebraCayley representationselfmapassociative/superassociative lawMal'tsev's formalismpreiterative/combinatory formalism

Mathematics Subject Classification ID

Relational systems, laws of composition (08A02) Combinatory logic and lambda calculus (03B40) Equational classes, universal algebra in model theory (03C05)

Recommendations

• scientific article; zbMATH DE number 3865261
• scientific article; zbMATH DE number 4094791
• A characterization of iterative function algebras
• scientific article; zbMATH DE number 63120
• Extension of combinatory logic to a theory of combinatory representation

Cites work

• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 3552814 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• scientific article; zbMATH DE number 3443743 (Why is no real title available?)
• scientific article; zbMATH DE number 3313438 (Why is no real title available?)
• A composition algebra for multiplace functions
• Combinators, \(\lambda\)-terms and proof theory
• Defining relations for full semigroups of finite transformations
• ON SUBSTITUTIVE ALGEBRA AND ITS SYNTAX
• The Substitutive Law
• The semigroup of not bijective finite selfmaps of an infinite set

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