The following pages link to Michio Oyamaguchi (Q799386):
Displaying 11 items.
- Some remarks on subclass containment problems for several classes of dpda's (Q799387) (← links)
- On the data type extension problem for algebraic specifications (Q801668) (← links)
- The reachability and related decision problems for monadic and semi-constructor TRSs (Q844204) (← links)
- Some results on subclass containment problems for special classes of dpda's related to nonsingular machines (Q1060563) (← links)
- The Church-Rosser property for ground term-rewriting systems is decidable (Q1100890) (← links)
- The equivalence problem for two dpda's, one of which is a finite-turn or one-counter machine (Q1158757) (← links)
- The unification problem for confluent right-ground term rewriting systems. (Q1401934) (← links)
- Confluence by critical pair analysis revisited (Q2305423) (← links)
- Conditions for confluence of innermost terminating term rewriting systems (Q2321950) (← links)
- (Q2778882) (← links)
- Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent (Q3454085) (← links)
