Login / Signup
Sayaka Ishizuki
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Databases
Term Rewriting Systems
Sufficient Conditions
Top Venues
Appl. Algebra Eng. Commun. Comput.
</>
Publications
</>
Sayaka Ishizuki
,
Michio Oyamaguchi
,
Masahiko Sakai
Conditions for confluence of innermost terminating term rewriting systems.
Appl. Algebra Eng. Commun. Comput.
30 (4) (2019)