Pages that link to "Item:Q1730315"
From MaRDI portal
The following pages link to Conditional congruence closure over uninterpreted and interpreted symbols (Q1730315):
Displaying 6 items.
- Foreword to the special issue (Q1730296) (← links)
- Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols (Q2090128) (← links)
- Deciding the word problem for ground identities with commutative and extensional symbols (Q2096444) (← links)
- Interpolation and amalgamation for arrays with MaxDiff (Q2233410) (← links)
- (Q5094130) (← links)
- Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties (Q6135743) (← links)
