"Conditions for confluence of innermost terminating term rewriting systems."

Sayaka Ishizuki, Michio Oyamaguchi, Masahiko Sakai (2019)

Details and statistics

DOI: 10.1007/S00200-018-0377-8

access: closed

type: Journal Article

metadata version: 2025-01-19