Search Results1-20 of  197

  • SAKAI Masahiko ID: 9000241761396

    Articles in CiNii:1

    • Linear Oscillatory Actuator Using Regenerative Energy (Special Issue on the Asia-Pacific Symposium on Applied Electromagnetics and Mechanics (APSAEM2012)) (2013)
  • Sakai Masahiko ID: 9000248956909

    Articles in CiNii:1

    • Size complexity of BDD construction of Pseudo-Boolean constraints in binary/mixed-radix base form (2014)
  • SAKAI Masahiko ID: 9000316195895

    Articles in CiNii:1

    • A method for making proof graph finite on disjunctive parameterised Boolean equation systems (ソフトウェアサイエンス) (2016)
  • SAKAI Masahiko ID: 9000316196884

    Articles in CiNii:1

    • A method for making proof graph finite on disjunctive parameterised Boolean equation systems (システム数理と応用) (2016)
  • Masahiko Sakai ID: 9000004335244

    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)
  • Masahiko Sakai ID: 9000017506560

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

    Articles in CiNii:7

    • Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes (2009)
    • Recognizability of Redexes for Higher-Order Rewrite Systems (2009)
    • Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems (2009)
  • Masahiko Sakai ID: 9000250472427

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

    Articles in CiNii:1

    • Deciding Code Allocation on Malbolge Low-Lebel Assembler (2014)
  • Masahiko Sakai ID: 9000347539781

    Articles in CiNii:1

    • A Simple Sufficient Condition for the Completeness of a Heuristic Procedure for Inverse Unfold Problem (2015)
  • Masahiko Sakai ID: 9000348877242

    Articles in CiNii:1

    • Direct Implementation System of Algebraic Specifications of Abstract Data Types. (1987)
  • Masahiko Sakai ID: 9000348885862

    Articles in CiNii:1

    • Confluense of Orthogonal Metaterm Rewriting Calculus with Rules Containing Rules. (2000)
  • Masahiko Sakai ID: 9000348887991

    Articles in CiNii:1

    • Generation of a TRS Implementing the Inverses of Pure Treeless Functions. (2002)
  • Masahiko Sakai ID: 9000348888590

    Articles in CiNii:1

    • Computation Model of Term Rewriting Systems with Extra Variables. (2003)
  • Masahiko Sakai ID: 9000348888810

    Articles in CiNii:1

    • Typing Exceptions in an Object caleulus (2003)
  • Masahiko Sakai ID: 9000348889504

    Articles in CiNii:1

    • Program Generation by Transformation from Quantified Equational Specifications (2004)
  • Masahiko Sakai ID: 9000348889569

    Articles in CiNii:1

    • Improving Efficiency of Computation of Linear Constructor Term Rewriting Systems with Extra Variables (2004)
  • Masahiko Sakai ID: 9000399186703

    Articles in CiNii:1

    • Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems (2018)
  • SAKAI MASAHIKO ID: 9000255794420

    The First Department of Internal Medicine, Faculty of Medicine, Kyoto University (1980 from CiNii)

    Articles in CiNii:1

    • THE UTILITY OF THE X-RAY CINE-FILMS OF THE ERCP (1980)
  • SAKAI MASAHIKO ID: 9000314795604

    Articles in CiNii:1

    • <Case Report>Malignant Lymphoma Arising in the Duodenum Combined with Gastric Lymphoma and Early Gastric Cancer : A Case Report (1995)
  • SAKAI Masahiko ID: 1000020135560

    Department of Gastroenterological Endoscopy, Kyoto University (1997 from CiNii)

    Articles in CiNii:13

    • A case of symptomatic aberrant pancreas : A diagnostic and therapeutic usefulness of endoscopic aspiration mucosectomy (1996)
    • A case of celiac aneurysm exposed to the ulcer base of the remnant stomach:an usefulness of miniature ultrasonic probe. (1997)
    • 抗セントロメア抗体陽性自己免疫性肝炎例の検討-陰性例との比較- (1995)
  • SAKAI Masahiko ID: 1000050215597

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

    Articles in CiNii:150

    • Cover Set Induction for Verifying Algebraic Specifications (1992)
    • On Proving Termination of Simply-Typed Term Rewriting Systems Based on Strong Computability (2005)
    • Programming Method in Obfuscated Language Malbolge (2005)
Page Top