Sciweavers

71
Voted
IPL
2010
57views more  IPL 2010»

Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent

15 years 1 months ago
Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent
Masahiko Sakai, Mizuhito Ogawa
Added 28 Jan 2011
Updated 28 Jan 2011
Type Journal
Year 2010
Where IPL
Authors Masahiko Sakai, Mizuhito Ogawa
Comments (0)