Return to search

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

No description available.

1. http://hdl.handle.net/2237/9580
2. 0916-8532
3. IEICE Transactions on Information and Systems. v.E88-D, n.12, p.2715-2726

Identifer	oai:union.ndltd.org:NAGOYA/oai:ir.nul.nagoya-u.ac.jp:2237/9580
Date	12 1900
Creators	KUSAKARI, Keiichirou, SAKAI, Masahiko, SAKABE, Toshiki
Publisher	IEICE
Source Sets	Nagoya University
Language	English
Detected Language	English
Type	Article(publisher)
Rights	Copyright 2005 IEICE 許諾番号 08RB0027号