Pages that link to "Item:Q4383698"
From MaRDI portal
The following pages link to On the union of well-founded relations (Q4383698):
Displayed 8 items.
- Abstract abstract reduction (Q817587) (← links)
- Jumping and escaping: modular termination and the abstract path ordering (Q1929229) (← links)
- An insertion operator preserving infinite reduction sequences (Q3520149) (← links)
- TERMINATION OF ABSTRACT REDUCTION SYSTEMS (Q3620615) (← links)
- On the Relation between Sized-Types Based Termination and Semantic Labelling (Q3644746) (← links)
- Finding small counterexamples for abstract rewriting properties (Q4585013) (← links)
- Remarks on Isomorphisms of Simple Inductive Types (Q4924549) (← links)
- Modal Tools for Separation and Refinement (Q5403464) (← links)