Michio Oyamaguchi

Publication Activity (10 Years)

Years Active: 1978-2019
Publications (10 Years): 4

Top Topics

Wall Street Journal

Hough Transform

Term Rewriting Systems

Top Venues

Appl. Algebra Eng. Commun. Comput.

Publications

Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi
Confluence by Critical Pair Analysis Revisited. CADE (2019)
Sayaka Ishizuki, Michio Oyamaguchi, Masahiko Sakai
Conditions for confluence of innermost terminating term rewriting systems. Appl. Algebra Eng. Commun. Comput. 30 (4) (2019)
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi
Confluence by Critical Pair Analysis Revisited (Extended Version). CoRR (2019)
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi
Critical Peaks Redefined - $Φ\sqcup Ψ= \top$. CoRR (2017)
Masahiko Sakai, Michio Oyamaguchi, Mizuhito Ogawa
Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent. CADE (2015)
Ichiro Mitsuhashi, Michio Oyamaguchi, Kunihiro Matsuura
The Unification Problem for Confluent Semi-Constructor TRSs. IEICE Trans. Inf. Syst. (11) (2010)
Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada
The Joinability and Related Decision Problems for Semi-constructor TRSs. Inf. Media Technol. 1 (2) (2006)
Ichiro Mitsuhashi, Michio Oyamaguchi, Toshiyuki Yamada
The reachability and related decision problems for monadic and semi-constructor TRSs. Inf. Process. Lett. 98 (6) (2006)
Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard
The Confluence Problem for Flat TRSs. AISC (2006)
Michio Oyamaguchi, Yoshikatsu Ohta
On the Open Problems Concerning Church-Rosser of Left-Linear Term Rewriting Systems. IEICE Trans. Inf. Syst. (2) (2004)
Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada
The Joinability and Unification Problems for Confluent Semi-constructor TRSs. RTA (2004)
Michio Oyamaguchi, Yoshikatsu Ohta
The unification problem for confluent right-ground term rewriting systems. Inf. Comput. 183 (2) (2003)
Michio Oyamaguchi, Yoshikatsu Ohta
The Unification Problem for Confluent Right-Ground Term Rewriting Systems. RTA (2001)
Michio Oyamaguchi, Yoshikatsu Ohta
A New Parallel Closed Condition for Church-Rossser of Left-Linear Term Rewriting Systems. RTA (1997)
Yoshihito Toyama, Michio Oyamaguchi
Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems. CTRS (1994)
Michio Oyamaguchi
NV-Sequentiality: A Decidable Condition for Call-by-Need Computations in Term-Rewriting Systems. SIAM J. Comput. 22 (1) (1993)
Michio Oyamaguchi
The equivalence problem for real-time DPDAs. J. ACM 34 (3) (1987)
Michio Oyamaguchi
The Church-Rosser Property for Ground Term-Rewriting Systems is Decidable. Theor. Comput. Sci. 49 (1987)
Michio Oyamaguchi
On the Data Type Extension Problem for Algebraic Specifications. Theor. Comput. Sci. 35 (1985)
Michio Oyamaguchi
Some Remarks on Subclass Containment Problems for Several Classes of DPDA's. Inf. Process. Lett. 19 (1) (1984)
Michio Oyamaguchi
Some Results on Subclass Containment Problems for Special Classes of DPDA's Related to Nonsingular Machines. Theor. Comput. Sci. 31 (1984)
Michio Oyamaguchi
Relationship Between Abstract and Concrete Implementations of Algebraic Specifications. IFIP Congress (1983)
Michio Oyamaguchi, Yasuyoshi Inagaki, Namio Honda
The Equivalence Problem for Two DPDA's, One of Which is a Finite-Turn or One-Counter Machine. J. Comput. Syst. Sci. 23 (3) (1981)
Michio Oyamaguchi, Yasuyoshi Inagaki, Namio Honda
A Simplicity Test for Deterministic Pushdown Automata Inf. Control. 47 (1) (1980)
Michio Oyamaguchi, Namio Honda
The Equivalence Problem for Real-Time Strict Deterministic Languages Inf. Control. 45 (1) (1980)
Michio Oyamaguchi, Yasuyoshi Inagaki, Namio Honda
On the Equivalence Problem for Two DPDA's, One of which is Real-Time. IFIP Congress (1980)
Michio Oyamaguchi, Yasuyoshi Inagaki, Namio Honda
A Real-Time Strictness Test for Deterministic Pushdown Automata Inf. Control. 47 (1) (1980)
Michio Oyamaguchi, Namio Honda
The Decidability of Equivalence for Determistic Stateless Pushdown Automata Inf. Control. 38 (3) (1978)