The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Finiteness results on rewriting systems”

Saturating right congruences

Bertrand Le Saec (1990)

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

Similarity:

On ambiguity in DOS systems

Andrzej Ehrenfeucht, David Haussler, Grzegorz Rozenberg (1984)

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

Similarity: