Pages that link to "Item:Q1730315"

The following pages link to Conditional congruence closure over uninterpreted and interpreted symbols (Q1730315):

Displaying 3 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)