Author:
Kikuchi Yutaka,Katayama Takuya
Reference22 articles.
1. Knuth DE, Bendix PB (1970) Simple word problems in universal algebras. In: Leech J (ed) Computational problems in abstract algebra. Pergamon, Toyohashi, Japan, pp 263–297
2. Huet G, Hullot JM (1982) Proofs by induction in equational theories with constructors. Comput Syst Sci 25(2): 239–266
3. Hsiang J (1985) Refutational theorem proving using term-rewriting systems. Artif Intell 25: 255–300
4. Lecture Notes in Computer Science;H Comon,1989
5. Shinoda Y. Katayama T (1988) Attribute grammar based programming and its environment. In: Proc 21st Hawaii International Conference on System Sciences, Kona, Hawaii pp 612–620
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Generalization of Attribute Grammars;Systems and Computers in Japan;1996