Return to search

Left-Incompatible Term Rewriting Systems and Functional Strategy

No description available.
Identiferoai:union.ndltd.org:NAGOYA/oai:ir.nul.nagoya-u.ac.jp:2237/9577
Date12 1900
CreatorsSAKAI, Masahiko
PublisherIEICE
Source SetsNagoya University
LanguageEnglish
Detected LanguageEnglish
TypeArticle(publisher)
RightsCopyright 1997 IEICE 許諾番号 08RB0027号

Page generated in 0.0021 seconds