Art
J-GLOBAL ID:200902026698021315   Reference number:91A0860964

Dynamic Term Rewriting Calculus and Its Application.

動的項書換え計算モデルとその応用
Author (3):
Material:
Volume: 91  Issue: 224(COMP91 43-52)  Page: 31-40  Publication year: Sep. 20, 1991 
JST Material Number: S0532B  ISSN: 0913-5685  Document type: Proceedings
Country of issue: Japan (JPN)  Language: JAPANESE (JA)
Terms in the title (3):
Terms in the title
Keywords automatically extracted from the title.

Return to Previous Page