Searching for "Abstract Congruence Closure." – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
Abstract congruence closure and specializations
- … Abstract Congruence Closure and Specializations ? Leo Bachmair and Ashish Tiwari Department…
- Cited by 20 (3 self) – Add To MetaCart
-
Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time
- … recently [4]. Our decision procedure is based on the concepts of abstract congruence closure [2…
- Cited by 3 (1 self) – Add To MetaCart
-
Abstract of the Dissertation Decision Procedures in Automated Deduction
- … of abstract congruence closure suitably captures the logical essence of most of the conventional algorithms…
- Add To MetaCart
-
Rigid E-Unification Revisited
- … set of abstract transformation rules for rigid E-unication. Abstract congruence closure, syntactic…
- Cited by 2 (2 self) – Add To MetaCart
-
Justifying Equality
- … systems for union-find structures and abstract congruence closure, but our constructions can also…
- Cited by 9 (1 self) – Add To MetaCart
-
Cv
- …. Ashish Tiwari, \Abstract Congruence Closure and Applications", Invited talk at Dagstuhl Seminar…
- Add To MetaCart
-
Proof-producing Congruence Closure
- …, as in the abstract congruence closure approaches (see [Kap97], [BT00]), new constant symbols c are introduced…
- Cited by 19 (2 self) – Add To MetaCart
-
Normalization via Rewrite Closures
- … . The approach proposed for doing non-oblivious normalization involves the use of the abstract congruence closure…
- Cited by 6 (3 self) – Add To MetaCart
-
Join algorithms for the theory of uninterpreted functions
- … an "abstract congruence closure" [9, 2], which is closely related to a bottom-up tree automaton where…
- Cited by 5 (4 self) – Add To MetaCart
-
¢ Lists, Arrays, Bitvectors,...
- … closure algorithms Shostak’s Combination (p.4 of 121) Outline ¢ Abstract Congruence Closure ¢ Nelson…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
