Search Results1-20 of  37

  • 1 / 2
  • Kusakari Keiichirou ID: 9000018949207

    Articles in CiNii:1

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

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

    Articles in CiNii:4

    • On Proving AC - Termination by Argument Filtering Method (2000)
    • On Proving Termination of Term Rewriting Systems with Higher - Order Variables (2001)
    • On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems (2005)
  • KUSAKARI Keiichirou ID: 1000090323112

    岐阜大学工学部 (2015 from CiNii)

    Articles in CiNii:106

    • On Proving Termination of Simply-Typed Term Rewriting Systems Based on Strong Computability (2005)
    • Programming Method in Obfuscated Language Malbolge (2005)
    • Dependency Graph Method for Proving Termination of Narrowing (2005)
  • KUSAKARI Keiichirou ID: 9000004808645

    Research Institute of Electrical Communication, Tohoku University (2001 from CiNii)

    Articles in CiNii:1

    • On Proving AC-Termination by AC-Dependency Pairs (2001)
  • KUSAKARI Keiichirou ID: 9000016261285

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

    Articles in CiNii:2

    • Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques (2009)
    • A Higher-Order Knuth-Bendix Procedure and Its Applications (2007)
  • KUSAKARI Keiichirou ID: 9000017682586

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

    Articles in CiNii:1

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

    Articles in CiNii:1

    • On non-termination proof of right-linear and right-shallow term rewriting systems based on forward narrowing (2010)
  • KUSAKARI Keiichirou ID: 9000107392130

    Articles in CiNii:1

    • Argument Filtering and Usable Rules in Higher-Order Rewrite Systems (2009)
  • KUSAKARI Keiichirou ID: 9000107392193

    Articles in CiNii:1

    • On Decidability of Context-Sensitive Termination for Right-Linear Right-Shallow Term Rewriting Systems (2009)
  • KUSAKARI Keiichirou ID: 9000107392266

    Articles in CiNii:1

    • Program Generation Based on Transformation of Conditional Equations (2009)
  • KUSAKARI Keiichirou ID: 9000237755595

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

    Articles in CiNii:1

    • Static Dependecy Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types (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: 9000259337813

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

    Articles in CiNii:1

    • Static Dependency Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types (2013)
  • 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)
  • 1 / 2
Page Top