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

IEICE Transactions on Information and Systems - Japan
doi 10.1093/ietisy/e88-d.12.2715
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electronics, Information and Communications Engineers (IEICE)


Related search