A term rewriting characterization of the
โ
Arnold Beckmann; Andreas Weiermann
๐
Article
๐
1996
๐
Springer
๐
English
โ 233 KB