Sciweavers

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