The following pages link to Term Rewriting and Applications (Q5703874):
Displaying 8 items.
- Modular invariants for layered object structures (Q2507783) (← links)
- (Q3358727) (← links)
- (Q3432038) (← links)
- Modularity of Confluence (Q3541716) (← links)
- Formal Properties of Modularisation (Q3631354) (← links)
- Structural-Abstraction Principles (Q4626020) (← links)
- Structural Counter Abstraction (Q5326315) (← links)
- (Q5389133) (← links)