Pages that link to "Item:Q2946578"
From MaRDI portal
The following pages link to Simultaneous checking of completeness and ground confluence for algebraic specifications (Q2946578):
Displayed 4 items.
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- Ground confluence of order-sorted conditional specifications modulo axioms (Q2291829) (← links)
- Improving rewriting induction approach for proving ground confluence (Q5111302) (← links)