Concepedia

Michio Oyamaguchi

MO

Statistics

Publications

9

Citations

263

H-Index

9

Active since

1978

Affiliations

Mie University(Current)

Nagoya University

Michio Oyamaguchi is an author at Mie University specializing in formal methods, engineering, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationComputational ComplexityVerificationLinguisticsSyntaxGrammar

Publications per year

1978–1993

9

Publications

9

The equivalence problem for real-time strict deterministic languages

Michio Oyamaguchi, Namio Honda, Yasuyoshi Inagaki · Information and Control · 1980 · 54 citations

Programming Language Theory, Engineering, Automated Reasoning +6

The Church-Rosser property for ground term-rewriting systems is decidable

Michio Oyamaguchi · Theoretical Computer Science · 1987 · 51 citations

Engineering, Automated Reasoning, Regulated Rewriting +6

NV-Sequentiality: A Decidable Condition for Call-by-Need Computations in Term-Rewriting Systems

Michio Oyamaguchi · SIAM Journal on Computing · 1993 · 37 citations

Engineering, Sequential Term-rewriting Systems, Strong Sequentiality +16

The decidability of equivalence for deterministic stateless pushdown automata

Michio Oyamaguchi, Namio Honda · Information and Control · 1978 · 29 citations

Engineering, Automated Reasoning, Verification +6

The equivalence problem for real-time DPDAs

Michio Oyamaguchi · Journal of the ACM · 1987 · 23 citations · Full text

Mathematical Programming, Engineering, Verification +20

1–5 of 9