Graph congruences and pair testing
J. A. Brzozowski, Robert Knast (1986)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “Some theorems on graph congruences”
Graph congruences and pair testing
Semantics of flowchart programs and the free Conway theories
L. Bernátsky, Z. Ésik (1998)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Factorable congruences and factorable congruence blocks on powers of a finite algebra
Jaromír Duda (1992)
Czechoslovak Mathematical Journal
Similarity:
Congruences for Stirling numbers and Eulerian numbers
Hui-Qin Cao, Hao Pan (2008)
Acta Arithmetica
Similarity:
Relation products of congruences and factor congruences
Jaromír Duda (1991)
Czechoslovak Mathematical Journal
Similarity:
Finiteness results on rewriting systems
Jean-Claude Raoult (1981)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: