Pages that link to "Item:Q1280915"
From MaRDI portal
The following pages link to Computing congruent closures on terms (Q1280915):
Displaying 8 items.
- On the relationship of congruence closure and unification (Q1124338) (← links)
- Equality in computer algebra and beyond. (Q1404423) (← links)
- Congruent closure algorithms for finite automata and some applications (Q1842442) (← links)
- Intersection of term equality sets in finitely defined algebras (Q1968549) (← links)
- Congruence classes with logic variables (Q2708308) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464721) (← links)
- Term Rewriting and Applications (Q5703869) (← links)
- Computations with finite closure systems and implications (Q6064021) (← links)