Return to search

Higher-Order Path Orders Based on Computability

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

Page generated in 0.0021 seconds