ORME
From MaRDI portal
Software:26958
No author found.
Related Items (5)
Metalevel transformation of strategies ⋮ Strategies, model checking and branching-time properties in Maude ⋮ Mechanically certifying formula-based Noetherian induction reasoning ⋮ AC-unification race: The system solving approach, implementation and benchmarks ⋮ Termination of rewrite systems by elementary interpretations
This page was built for software: ORME
