ORME
From MaRDI portal
Software:26958
swMATH15064MaRDI QIDQ26958FDOQ26958
Author name not available (Why is that?)
Cited In (5)
- Strategies, model checking and branching-time properties in Maude
- Metalevel transformation of strategies
- AC-unification race: The system solving approach, implementation and benchmarks
- Mechanically certifying formula-based Noetherian induction reasoning
- Termination of rewrite systems by elementary interpretations
This page was built for software: ORME
