The following pages link to Karl Gmeiner (Q3184731):
Displayed 5 items.
- Transformations of Conditional Rewrite Systems Revisited (Q3184732) (← links)
- On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems (Q5111905) (← links)
- Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems (Q5240131) (← links)
- On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings (Q5240136) (← links)
- ON (UN)SOUNDNESS OF UNRAVELINGS (Q5389139) (← links)