Search Results1-20 of  57

  • 1 / 3
  • 坂部 俊樹 ID: 9000009155815

    Articles in CiNii:1

    • 代数的仕様 (情報数学のすすめ<特集>) (1989)
  • 坂部 俊樹 ID: 9000022853652

    Articles in CiNii:1

    • Algebraic Specification Method of Programming Languages (1986)
  • 坂部 俊樹 ID: 9000023512217

    Articles in CiNii:1

    • 名古屋大学情報セキュリティ対策推進室の紹介 (2004)
  • 坂部 俊樹 ID: 9000024021591

    Articles in CiNii:1

    • Automating Commutative Law Based Transformation of TRS (1994)
  • 坂部 俊樹 ID: 9000238780892

    Articles in CiNii:1

    • Generation of Inverse Computation Programs for Constructor Term Rewriting Systems (2005)
  • 坂部 俊樹 ID: 9000276430411

    Articles in CiNii:1

    • Implicit Induction for Proving Behavioral Equivalence by Equational Rewriting (2007)
  • 坂部 俊樹 ID: 9000276430421

    Articles in CiNii:1

    • Recognizable Approximation of Descendant Sets for Left-Linear Oriented Conditional Term Rewriting Systems (2007)
  • 坂部 俊樹 ID: 9000276430431

    Articles in CiNii:1

    • Argument Filtering Method for Second-Order Higher-Order Rewrite Systems (2007)
  • 坂部 俊樹 ID: 9000277057116

    Articles in CiNii:1

    • On Turing Completeness of an Esoteric Language, Malbolge (2010)
  • 坂部 俊樹 ID: 9000277057126

    Articles in CiNii:1

    • On Decidability of Context-Sensitive Termination for Right-Linear Right-Shallow Term Rewriting Systems (2009)
  • 坂部 俊樹 ID: 9000277057136

    Articles in CiNii:1

    • Program Generation Based on Transformation of Conditional Equations (2009)
  • 坂部 俊樹 ID: 9000277057146

    Articles in CiNii:1

    • Argument Filtering and Usable Rules in Higher-Order Rewrite Systems (2009)
  • 坂部 俊樹 ID: 9000277057156

    Articles in CiNii:1

    • A Sufficient Condition for Termination of Transformations from Equations to Rewrite Rules (2008)
  • 坂部 俊樹 ID: 9000277057166

    Articles in CiNii:1

    • Extending program-generation system GeneSys for allowing negation in equational specifications (2007)
  • 坂部 俊樹 ID: 9000277057177

    Articles in CiNii:1

    • A Tool for Designing Sudoku Problems by Interactive Fill-in Approach (2007)
  • 坂部 俊樹 ID: 9000277057187

    Articles in CiNii:1

    • Proving Non-termination of Logic Programs by Detecting Loops in Derivation Trees (2007)
  • 坂部 俊樹 ID: 9000277863379

    Articles in CiNii:1

    • Rewriting Induction for Constrained Term Rewriting Systems (2009)
  • 坂部 俊樹 ID: 9000277863391

    Articles in CiNii:1

    • Approach to Procedural-program Verification Based on Implicit Induction of Constrained Term Rewriting Systems (2008)
  • 坂部 俊樹 ID: 9000277863412

    Articles in CiNii:1

    • Error Detection with Soft Typing for Dynamically Typed Languages (2008)
  • 坂部 俊樹 ID: 9000277863421

    Articles in CiNii:1

    • A Type System for Analyzing Secure Information Flow in Object-Oriented Programs with Exception Handling (2008)
  • 1 / 3
Page Top