Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by K. KUSAKARI
Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Related publications
Existence Theorems for Higher Order Boundary Value Problems
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Oscillation Theorems for Certain Higher Order Nonlinear Functional Differential Equations
Applicable Analysis and Discrete Mathematics
Combinatorics
Applied Mathematics
Analysis
Discrete Mathematics
Implicit Function Theorems for Nondifferentiable Mappings
Journal of Optimization Theory and Applications
Control
Management Science
Applied Mathematics
Optimization
Operations Research
Inductive Methods and Zero-Sum Free Sequences
Integers
Local Mapping Relations and Global Implicit Function Theorems
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Induction Theorems for Infinite Groups
Bulletin of the American Mathematical Society
Mathematics
Applied Mathematics
Bidirectional Full Bridge Configuration for Inductive Wireless Power Transfer
International Journal for Research in Applied Science and Engineering Technology
Constructing Inductive-Inductive Types in Cubical Type Theory
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Enhancing Students’ Higher-Order Thinking Skills (HOTS) Through an Inductive Reasoning Strategy Using Geogebra
International Journal of Emerging Technologies in Learning
Engineering
Education
E-learning
