![Mathematics / Algebra / Theoretical computer science / Modular arithmetic / Logic in computer science / Congruence relation / Equivalence / Closure / Rewriting / Congruence lattice problem / Congruence subgroup Mathematics / Algebra / Theoretical computer science / Modular arithmetic / Logic in computer science / Congruence relation / Equivalence / Closure / Rewriting / Congruence lattice problem / Congruence subgroup](https://www.pdfsearch.io/img/d663f12ed86c282548c1ca2432101733.jpg) Date: 2005-02-02 07:20:48Mathematics Algebra Theoretical computer science Modular arithmetic Logic in computer science Congruence relation Equivalence Closure Rewriting Congruence lattice problem Congruence subgroup | | Proof-producing Congruence Closure Robert Nieuwenhuis? and Albert Oliveras?? Technical University of Catalonia, Jordi Girona 1, 08034 Barcelona, Spain www.lsi.upc.es/~roberto www.lsi.upc.es/~oliveras Abstract. Many applAdd to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source Website File Size: 222,86 KBShare Document on Facebook |