The following pages link to Yi-Yun Chen (Q744328):
Displayed 12 items.
- (Q232453) (redirect page) (← links)
- A shape graph logic and a shape system (Q744329) (← links)
- Head boundedness of nonterminating rewritings (Q1894332) (← links)
- Pointer Logic for Verification of Pointer Programs (Q3071444) (← links)
- (Q3371043) (← links)
- (Q4412537) (← links)
- Forecasting market risk using ultra-high-frequency data and scaling laws (Q4619546) (← links)
- (Q4675624) (← links)
- (Q5714526) (← links)
- Infinite terms and infinite rewritings (Q5881271) (← links)
- Testing confluence of nonterminating rewriting systems (Q5881272) (← links)
- Constraint-preserving architecture transformations: A graph rewriting approach (Q5956850) (← links)