Search Results21-40 of  57

  • 2 / 3
  • 坂部 俊樹 ID: 9000277863436

    Articles in CiNii:1

    • On non-termination proof of right-linear and right-shallow term rewriting systems based on forward narrowing (2010)
  • 坂部 俊樹 ID: 9000277863443

    Articles in CiNii:1

    • On DPLL Transition Systems Modulo Equational Theories (2010)
  • 坂部 俊樹 ID: 9000287044758

    Articles in CiNii:1

    • Dynamic Term Rewriting Calculus and Its Application (1991)
  • 坂部 俊樹 ID: 9000287044763

    Articles in CiNii:1

    • CCS+b : Calculus of Communicating Systems with Broadcast (1991)
  • 坂部 俊樹 ID: 9000311514877

    Articles in CiNii:1

    • Introducing Addition Instruction into High-Level Assembly Language for Malbolge (2011)
  • 坂部 俊樹 ID: 9000345434696

    名古屋大学 (2012 from CiNii)

    Articles in CiNii:1

    • 基本対称関数に基づく節をもつCNF論理式の充足可能性判定 (2012)
  • 坂部 俊樹 ID: 9000345434750

    名古屋大学 (2011 from CiNii)

    Articles in CiNii:1

    • 基本対称関数に基づく節をもつCNF論理式の充足可能性判定 (2011)
  • 坂部 俊樹 ID: 9000348877240

    Articles in CiNii:1

    • Direct Implementation System of Algebraic Specifications of Abstract Data Types. (1987)
  • 坂部 俊樹 ID: 9000351090306

    Articles in CiNii:1

    • 項書換え系の停止性証明のための重み付き経路順序の抽象化 (計算理論とアルゴリズムの新潮流) (2015)
  • 坂部 俊樹 ID: 9000394048733

    Articles in CiNii:1

    • Algebraic Approach to Program Verification (1987)
  • SAKABE Tohiki ID: 9000315139332

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

    Articles in CiNii:1

    • Implementing a Conditional Dependency Pair Method for Proving Termination of Functional Programs with Exception Handling (2015)
  • SAKABE Tohiki ID: 9000316617289

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

    Articles in CiNii:1

    • Implementing a Conditional Dependency Pair Method for Proving Termination of Functional Programs with Exception Handling (2015)
  • SAKABE Toshiki ID: 1000060111829

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

    Articles in CiNii:175

    • Implementing Visualization of Term Rewriting Computation in Standard ML (1995)
    • Cover Set Induction for Verifying Algebraic Specifications (1992)
    • On Proving Termination of Simply-Typed Term Rewriting Systems Based on Strong Computability (2005)
  • SAKABE Toshiki ID: 9000107316445

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

    Articles in CiNii:1

    • Automatic Generation of Non-linear Loop Invariants for Programs with Function Calls (2012)
  • SAKABE Toshiki ID: 9000107357029

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

    Articles in CiNii:1

    • On Usable Rules under Argument Filterings in Higher-Order Rewrite Systems (2012)
  • SAKABE Toshiki ID: 9000107359874

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

    Articles in CiNii:1

    • On class of equation sets whose word problems are reducible to those of ground equation sets (2012)
  • SAKABE Toshiki ID: 9000107367100

    Articles in CiNii:1

    • On non-termination proof of right-linear and right-shallow term rewriting systems based on forward narrowing (2010)
  • SAKABE Toshiki ID: 9000107392131

    Articles in CiNii:1

    • Argument Filtering and Usable Rules in Higher-Order Rewrite Systems (2009)
  • SAKABE Toshiki ID: 9000107392192

    Articles in CiNii:1

    • On Decidability of Context-Sensitive Termination for Right-Linear Right-Shallow Term Rewriting Systems (2009)
  • SAKABE Toshiki ID: 9000258237591

    Graduate School of Engineering, Nagoya University (2003 from CiNii)

    Articles in CiNii:1

    • Typing Exceptions in an Object calculus (2003)
  • 2 / 3
Page Top