The following pages link to ORME (Q26958):
Displayed 5 items.
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- AC-unification race: The system solving approach, implementation and benchmarks (Q1199708) (← links)
- Termination of rewrite systems by elementary interpretations (Q1805401) (← links)
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Metalevel transformation of strategies (Q2667189) (← links)