Pages that link to "Item:Q5464694"
From MaRDI portal
The following pages link to Artificial Intelligence and Symbolic Computation (Q5464694):
Displaying 5 items.
- Computing congruent closures on terms (Q1280915) (← links)
- Quantifiers and congruence closure (Q1300006) (← links)
- Conditional congruence closure over uninterpreted and interpreted symbols (Q1730315) (← links)
- Addendum to ``Completion and closure'' (Q2709568) (← links)
- Term Rewriting and Applications (Q5703869) (← links)