Search Results1-20 of  27

  • 1 / 2
  • Kusakari Keiichirou ID: 9000018949207

    Articles in CiNii:1

    • A Sound Type System for Typing Runtime Errors (プログラミング Vol.5 No.2) (2012)
  • KUSAKARI Keiichirou ID: 9000258237694

    Graduate School of Information Science, Nagoya University (2004 from CiNii)

    Articles in CiNii:1

    • Program Generation by Transformation from Quantified Equational Specifications (2004)
  • KUSAKARI Keiichirou ID: 9000258570955

    Graduate School of Information Science, Nagoya University (2003 from CiNii)

    Articles in CiNii:1

    • Program Generation by Transformation from Quantified Equational Specifications (2003)
  • KUSAKARI Keiichirou ID: 9000276430427

    Articles in CiNii:1

    • Recognizable Approximation of Descendant Sets for Left-Linear Oriented Conditional Term Rewriting Systems (2007)
  • KUSAKARI Keiichirou ID: 9000277863400

    Articles in CiNii:1

    • Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems (2009)
  • KUSAKARI Keiichirou ID: 9000277863414

    Articles in CiNii:1

    • Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques (2008)
  • KUSAKARI Keiichirou ID: 9000283468049

    Graduate School of Information Science, Nagoya University (2011 from CiNii)

    Articles in CiNii:1

    • Lemma Generation Method in Rewriting Induction for Constrained Term Rewriting Systems (2011)
  • KUSAKARI Keiichirou ID: 9000396103949

    Informatics Course, Department of Electrical, Electronic and Computer Engineering, Faculty of Engineering, Gifu University (2018 from CiNii)

    Articles in CiNii:1

    • Static Dependency Pair Method in Functional Programs (2018)
  • Keiichirou Kusakari ID: 9000004335242

    Graduate School of Information Science, Nagoya University (2005 from CiNii)

    Articles in CiNii:2

    • Characterizing Inductive Theorems by Extensional Initial Models in a Higher - Order Equational Logic (2004)
    • Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting (2005)
  • Keiichirou Kusakari ID: 9000017506569

    Articles in CiNii:3

    • Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems (2009)
    • Argument Filterings and Usable Rules in Higher-order Rewrite Systems (2011)
    • Decidability of Reachability for Right-shallow Context-sensitive Term Rewriting Systems (2011)
  • Keiichirou Kusakari ID: 9000277863349

    Articles in CiNii:1

    • A Sound Type System for Typing Runtime Errors (2012)
  • Kusakari Keiichirou ID: 9000002602350

    School of Information Science, Japan Advanced Institute of Science and Technology, Hokuriku (1999 from CiNii)

    Articles in CiNii:1

    • On proving AC-termination by argument filtering method (1999)
  • Kusakari Keiichirou ID: 9000002602352

    School of Information Science, Japan Advanced Institute of Science and Technology, Hokuriku (1999 from CiNii)

    Articles in CiNii:1

    • The hierarchy of dependency pairs (1999)
  • Kusakari Keiichirou ID: 9000002602354

    School of Information Science, Japan Advanced Institute of Science and Technology, Hokuriku (1999 from CiNii)

    Articles in CiNii:1

    • Argument filtering transformation (1999)
  • Kusakari Keiichirou ID: 9000019950670

    Graduate School of Information Science, Nagoya University (2011 from CiNii)

    Articles in CiNii:1

    • Decidability of Reachability for Right-shallow Context-sensitive Term Rewriting Systems (2011)
  • Kusakari Keiichirou ID: 9000019954109

    Graduate School of Information Science, Nagoya University (2012 from CiNii)

    Articles in CiNii:1

    • A Sound Type System for Typing Runtime Errors (2012)
  • Kusakari Keiichirou ID: 9000020890804

    Graduate School of Information Science, Nagoya University (2011 from CiNii)

    Articles in CiNii:1

    • Argument Filterings and Usable Rules in Higher-order Rewrite Systems (2011)
  • Kusakari Keiichirou ID: 9000021071941

    Graduate School of Information Science, Nagoya University (2009 from CiNii)

    Articles in CiNii:1

    • Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems (2009)
  • Kusakari Keiichirou ID: 9000021947792

    Graduate School of Information Science, Nagoya University (2009 from CiNii)

    Articles in CiNii:1

    • Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems (2009)
  • Kusakari Keiichirou ID: 9000022119442

    Graduate School of Information Science, Nagoya University (2011 from CiNii)

    Articles in CiNii:1

    • Argument Filterings and Usable Rules in Higher-order Rewrite Systems (2011)
  • 1 / 2
Page Top