EuDML | Browse

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 2 Next

Displaying 21 – 40 of 59

Non-looping string rewriting

Alfons Geser, Hans Zantema (1999)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Non-Looping String Rewriting

Alfons Geser, Hans Zantema (2010)

RAIRO - Theoretical Informatics and Applications

String rewriting reductions of the form $t \to_{R}^{+} u t v$ , called loops, are the most frequent cause of infinite reductions (non- termination). Regarded as a model of computation, infinite reductions are unwanted whence their static detection is important. There are string rewriting systems which admit infinite reductions although they admit no loops. Their non-termination is particularly difficult to uncover. We present a few necessary conditions for the existence of loops, and thus establish a means...

Non-modular congruence lattices of Rees matrix semigroups

Katherine Johnston (1985)

Czechoslovak Mathematical Journal

Nonsingular semilattices and semigroups

C. S., Jr. Johnson, Frederick R. McMorris (1976)

Czechoslovak Mathematical Journal

Nonsymmetric group algebras

J. Jenkins (1973)

Studia Mathematica

Non-unique factorizations in block semigroups and arithmetical applications

Alfred Geroldinger, Franz Halter-Koch (1992)

Mathematica Slovaca

Non-unique factorizations in orders of global fields.

A. Geroldinger, F. Halter-Koch, J. Kaczorowski (1995)

Journal für die reine und angewandte Mathematik

Non-uniqueness of homotopy factorizations into irreducible polyhedra

Allan Sieradski (1971)

Fundamenta Mathematicae

Normal cryptogroups with an associate subgroup

Mario Petrich (2013)

Czechoslovak Mathematical Journal

Let $S$ be a semigroup. For $a, x \in S$ such that $a = a x a$ , we say that $x$ is an associate of $a$ . A subgroup $G$ of $S$ which contains exactly one associate of each element of $S$ is called an associate subgroup of $S$ . It induces a unary operation in an obvious way, and we speak of a unary semigroup satisfying three simple axioms. A normal cryptogroup $S$ is a completely regular semigroup whose $ℋ$ -relation is a congruence and $S / ℋ$ is a normal band. Using the representation of $S$ as a strong semilattice of Rees matrix semigroups,...