Pages that link to "Item:Q2817937"
From MaRDI portal
The following pages link to Effective Normalization Techniques for HOL (Q2817937):
Displaying 5 items.
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Agent-Based HOL Reasoning (Q2819202) (← links)
- Towards establishing the use of holons as an enquiry method (Q3438332) (← links)
- Making higher-order superposition work (Q5918403) (← links)
- Making higher-order superposition work (Q5918575) (← links)