Pages that link to "Item:Q5044750"
From MaRDI portal
The following pages link to Linear unification of higher-order patterns (Q5044750):
Displaying 16 items.
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- Higher-order rewrite systems and their confluence (Q1127334) (← links)
- Unification with extended patterns (Q1274966) (← links)
- Higher-order pattern anti-unification in linear time (Q2362208) (← links)
- Constraint handling rules with binders, patterns and generic quantification (Q4592722) (← links)
- Unification of higher-order patterns in linear time and space (Q4885622) (← links)
- Higher-order equational pattern anti-unification (Q4993338) (← links)
- Nominal unification with atom and context variables (Q4993360) (← links)
- Linear second-order unification (Q5055871) (← links)
- Unification of higher-order patterns in a simply typed lambda-calculus with finite products and terminal type (Q5055872) (← links)
- Modular AC unification of higher-order patterns (Q5096303) (← links)
- Higher order disunification: Some decidable cases (Q5096304) (← links)
- Logic Based Program Synthesis and Transformation (Q5713937) (← links)
- The practice of logical frameworks (Q5878905) (← links)
- Automated Deduction – CADE-19 (Q5900734) (← links)
- Inductive-data-type systems (Q5958292) (← links)