Pages that link to "Item:Q1029104"
From MaRDI portal
The following pages link to Deterministic second-order patterns (Q1029104):
Displaying 7 items.
- Theory and practice of second-order rewriting: foundation, evolution, and SOL (Q2039930) (← links)
- Functions-as-constructors higher-order unification: extended pattern unification (Q2134936) (← links)
- Efficient second-order matching (Q5055870) (← links)
- Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (Q5058367) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
- Second-Order Behavior of Pattern Search (Q5470207) (← links)
- Logic Based Program Synthesis and Transformation (Q5713937) (← links)