The following pages link to Masahiko Sakai (Q407554):
Displayed 29 items.
- Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent (Q407556) (← links)
- Semantics and strong sequentiality of priority term rewriting systems (Q1275017) (← links)
- Determinization of conditional term rewriting systems (Q1929232) (← links)
- Conditions for confluence of innermost terminating term rewriting systems (Q2321950) (← links)
- Enhancing dependency pair method using strong computability in simply-typed term rewriting (Q2460908) (← links)
- (Q2844056) (← links)
- Improving Determinization of Grammar Programs for Program Inversion (Q2848904) (← links)
- Transformation for Refining Unraveled Conditional Term Rewriting Systems (Q2866802) (← links)
- Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems (Q2873675) (← links)
- Undecidable Properties on Length-Two String Rewriting Systems (Q2873677) (← links)
- Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity (Q2904621) (← links)
- Controlled Term Rewriting (Q3172893) (← links)
- Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent (Q3454085) (← links)
- Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies (Q3454088) (← links)
- Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems (Q3522018) (← links)
- Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems (Q3527306) (← links)
- Proving Injectivity of Functions via Program Inversion in Term Rewriting (Q3558345) (← links)
- (Q4253324) (← links)
- (Q4409161) (← links)
- (Q4505381) (← links)
- (Q4705607) (← links)
- (Q4705608) (← links)
- (Q4994129) (← links)
- Semantics and strong sequentially of priority term rewriting systems (Q5055874) (← links)
- Completion after Program Inversion of Injective Functions (Q5170160) (← links)
- A Parse-Based Framework for Coupled Rhythm Quantization and Score Structuring (Q5237275) (← links)
- Inverse Unfold Problem and Its Heuristic Solving (Q5240134) (← links)
- Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity (Q5389086) (← links)
- Term Rewriting and Applications (Q5703855) (← links)