The following pages link to (Q3341872):
Displaying 6 items.
- A constructive method for abstract algebraic software specification (Q796979) (← links)
- Conditional rewrite rules (Q1065790) (← links)
- Simplifying conditional term rewriting systems: Unification, termination and confluence (Q1100891) (← links)
- Term-rewriting systems with rule priorities (Q1262749) (← links)
- Contextual rewriting as a sound and complete proof method for conditional LOG-specifications (Q1323311) (← links)
- Negation with logical variables in conditional rewriting (Q5055728) (← links)