Pages that link to "Item:Q3647259"
From MaRDI portal
The following pages link to Foundations of the rule-based system ρLog (Q3647259):
Displayed 7 items.
- Flat matching (Q999086) (← links)
- On the relation between context and sequence unification (Q1034550) (← links)
- Variadic equational matching in associative and commutative theories (Q2029000) (← links)
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Metalevel transformation of strategies (Q2667189) (← links)
- <i>CLP(H):</i>Constraint logic programming for hedges (Q4593022) (← links)
- The Maude strategy language (Q6113021) (← links)