The following pages link to Guoxin Song (Q1288434):
Displaying 4 items.
- Deciding quasi-reducibility using witnessed test sets (Q1288435) (← links)
- Completeness of the accumulation calculus (Q1383468) (← links)
- An algebraic characterization of inductive soundness in proof by consistency (Q1894333) (← links)
- Term rewriting systems with sort priorities (Q4876348) (← links)
