Pages that link to "Item:Q2842594"
From MaRDI portal
The following pages link to Pattern unification with sequence variables and flexible arity symbols (Q2842594):
Displaying 4 items.
- Unification with extended patterns (Q1274966) (← links)
- Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach (Q2219192) (← links)
- Solving equations with sequence variables and sequence functions (Q2457427) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464699) (← links)