Product Replacement Algorithm

Charles R. Leedham-Green, Leonard H. Soicher: Collection from the Left and Other Strategies. J. Symb. Comput. 9(5/6): 665-675 (1990) Charles […]

Please sign in using your free Faculti account here or upgrade for subject-specific insights here