Die Äquationstheorie des Weihrauch-Gitters mit Multiplikation

Die Studie der Äquationstheorie des Weihrauch-Gitters mit Multiplikation, d.h. der Menge der Gleichungen zwischen Termen, die aus Variablen, den Gitteroperationen ⊔, ⊓, dem Produkt × und der endlichen Parallelisierung ∗ gebildet werden und unabhängig von der Substitution der Weihrauch-Grade für die Variablen gültig sind.