A Proof of the Factorization Forest Theorem

dc.creatorKufleitner, Manfred
dc.date2007-10-26
dc.date.accessioned2026-07-07T08:38:52Z
dc.date.available2026-07-07T08:38:52Z
dc.descriptionWe show that for every homomorphism $Γ^+ \to S$ where $S$ is a finite semigroup there exists a factorization forest of height $\leq 3 \abs{S}$. The proof is based on Green's relations.
dc.description4 pages
dc.identifierhttps://arxiv.org/abs/0710.5130
dc.identifierhttp://arxiv.org/abs/0710.5130
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/140885
dc.subjectLogic in Computer Science
dc.subjectF.4.3
dc.titleA Proof of the Factorization Forest Theorem
dc.typetext

Files

Collections