Dimensional Confluence Algebra of Information Space Modulo Quotient   Abstraction Relations in Automated Problem Solving Paradigm
  Confluence in abstract parallel category systems is established for net class-rewriting in iterative closed multilevel quotient graph structures with uncountable node arities by multi-dimensional transducer operations in topological metrics defined by alphabetically abstracting net block homomorphism. We obtain minimum prerequisites for the comprehensive connector pairs in a multitude dimensional rewriting closure generating confluence in Participatory algebra for different horizontal and vertical level projections modulo abstraction relations constituting formal semantics for confluence in information space. Participatory algebra with formal automata syntax in its entirety representing automated problem solving paradigm generates rich variety of multitude confluence harmonizers under each fundamental abstraction relation set, horizontal structure mapping and vertical process iteration cardinality. 
Seppo Ilari Tirri
cs.LO