The following pages link to Toshiki Sakabe (Q1248364):
Displayed 14 items.
- Addressable approximations to nonaddressable data graphs (Q1248365) (← links)
- Determinization of conditional term rewriting systems (Q1929232) (← links)
- (Q2844056) (← links)
- Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems (Q2873675) (← links)
- Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity (Q2904621) (← links)
- (Q3347271) (← links)
- (Q3731020) (← links)
- (Q4505378) (← links)
- (Q4505381) (← links)
- (Q4703888) (← links)
- Nagoya Termination Tool (Q5170837) (← links)
- On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs (Q5200103) (← links)
- Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity (Q5389086) (← links)
- Term Rewriting and Applications (Q5703855) (← links)