Pages that link to "Item:Q4993338"
From MaRDI portal
The following pages link to Higher-order equational pattern anti-unification (Q4993338):
Displaying 5 items.
- Anti-patterns for rule-based languages (Q968527) (← links)
- Higher-order pattern anti-unification in linear time (Q2362208) (← links)
- A Variant of Higher-Order Anti-Unification (Q2958379) (← links)
- Higher-order pattern generalization modulo equational theories (Q5139277) (← links)
- Variant-based equational anti-unification (Q6160760) (← links)