A critical pair criterion for completion modulo a congruence

1989 ◽  
pp. 452-453
Author(s):  
Leo Bachmair ◽  
Nachum Dershowitz
Keyword(s):  
Critical Pair

scholarly journals A Categorical Critical-pair Completion Algorithm

1999 ◽  
Vol 27 (5) ◽  
pp. 435-477 ◽  
Author(s):  
K. Stokkermans
Keyword(s):  
Critical Pair

scholarly journals Hyper-Atoms Applied to the Critical Pair Theory

COMBINATORICA ◽  
2019 ◽  
Vol 39 (6) ◽  
pp. 1281-1315
Author(s):  
Yahya O. Hamidoune
Keyword(s):  
Critical Pair

scholarly journals A new critical pair theorem applied to sum-free sets in Abelian groups

2004 ◽  
Vol 79 (1) ◽  
pp. 183-207 ◽  
Author(s):  
Yahya ould Hamidoune ◽  
Alain Plagne
Keyword(s):  
Abelian Groups ◽  
Critical Pair ◽  
Free Sets

scholarly journals Critical pair criteria for completion

1988 ◽  
Vol 6 (1) ◽  
pp. 1-18 ◽  
Author(s):  
Leo Bachmair ◽  
Nachum Dershowitz
Keyword(s):  
Critical Pair

scholarly journals On the critical pair theory in Z/pZ

2006 ◽  
Vol 121 (2) ◽  
pp. 99-115 ◽  
Author(s):  
Yahya Ould Hamidoune ◽  
Oriol Serra ◽  
Gilles Zémor
Keyword(s):  
Critical Pair

scholarly journals Comparison of Conflict Detection Capabilities for Well Clear and Critical Pair Identification

2019 ◽  
Vol 16 (5) ◽  
pp. 203-213
Author(s):  
Michael A. Jacobs ◽  
Varun S. Sudarsanan ◽  
Daniel A. DeLaurentis ◽  
Shreyas V. Subramanian
Keyword(s):  
Conflict Detection ◽  
Critical Pair ◽  
Detection Capabilities
Sign in / Sign up

Export Citation Format

Share Document