Similar Items: Structural Reductions and Stutter Sensitive Properties
- A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
- A Dichotomy for First-Order Reducts of Unary Structures
- Incidence of stuttering in twins and singletons in selected schools in Ibadan township
- Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies
- Transforming Outermost into Context-Sensitive Rewriting
- Output-sensitive Information flow analysis