Sciweavers

290 search results - page 21 / 58
» Congruence for Structural Congruences
Sort
View
SODA
2000
ACM
109views Algorithms» more  SODA 2000»
14 years 11 months ago
Approximate congruence in nearly linear time
Piotr Indyk, Suresh Venkatasubramanian
78
Voted
ENTCS
2007
87views more  ENTCS 2007»
14 years 9 months ago
A Congruence Rule Format with Universal Quantification
Mohammad Reza Mousavi, Michel A. Reniers