The following pages link to Efficient second-order matching (Q5055870):
Displaying 9 items.
- Deterministic second-order patterns (Q1029104) (← links)
- Tractable and intractable second-order matching problems (Q2643530) (← links)
- Partial matching for analogy discovery in proofs and counter-examples (Q5234724) (← links)
- Building proofs or counterexamples by analogy in a resolution framework (Q5235252) (← links)
- Second-Order Behavior of Pattern Search (Q5470207) (← links)
- Inductive Logic Programming (Q5494322) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705939) (← links)
- Analogy in Automated Deduction: A Survey (Q5739522) (← links)
- Higher-order matching for program transformation (Q5958614) (← links)