Pages that link to "Item:Q3192186"

The following pages link to A Rewriting Strategy to Generate Prime Implicates in Equational Logic (Q3192186):

Displaying 2 items.

• A superposition calculus for abductive reasoning (Q2013317) (← links)
• Quantifier-Free Equational Logic and Prime Implicate Generation (Q3454103) (← links)