Pages that link to "Item:Q1853582"

The following pages link to Explicit versus implicit representations of subsets of the Herbrand universe. (Q1853582):

Displaying 3 items.

• Equational formulas and pattern operations in initial order-sorted algebras (Q2628298) (← links)
• Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning (Q4916080) (← links)
• Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras (Q5743584) (← links)