Return to search

A Higher-Order Knuth-Bendix Procedure and Its Applications

No description available.
Identiferoai:union.ndltd.org:NAGOYA/oai:ir.nul.nagoya-u.ac.jp:2237/14974
Date01 April 2007
CreatorsCHIBA, Yuki, KUSAKARI, Keiichirou
PublisherInstitute of Electronics, Information and Communication Engineers
Source SetsNagoya University
LanguageEnglish
Detected LanguageEnglish
TypeArticle(publisher)
RightsCopyright (C) 2007 IEICE

Page generated in 0.0023 seconds