Return to search

Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting

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

Page generated in 0.0017 seconds