Papers - MABUCHI Hiroshi

Generating Speq Rules based on Automatic Proof of Logical Equivalence

Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi

Int. J. of Computer Science  3 ( 3 ) 190 - 198   2008.08

Research paper (scientific journal)

Joint Work  English 

Equivalent Transformation Rules as Components of Programs

Hiroshi Mabuchi, Kiyoshi Akama, and Toshihiro Wakatsuki

International Journal of Innovative Computing, Information & Control  3 ( 3 ) 685 - 696   2007.06

Research paper (scientific journal)

Joint Work  English 

Logic Circuit Synthesis Preserving Correctness using ET Rules

Hiroshi Yoshikawa, Kiyoshi Akama, and Hiroshi Mabuchi

WSEAS TRANSACTIONS on CIRCUITS and SYSTEMS  6 ( 5 ) 465 - 472   2007.05

Research paper (scientific journal)

Joint Work  English 

Infinite Computation in the Equivalent Transformation Model

Mabuchi,H.,Akama,K., Koike,H.,以下１名

Journal of Advanced Computational Intelligence and Intelligent Informatics  11 ( 2 )   2007.02

Research paper (scientific journal)

Part： pp.176--186

Joint Work  English 

Constraint Solving Specializations for Equality on an Interval-Variable Domain

Mabuchi,H.,Akama,K., Miura,K.,以下１名

Journal of Advanced Computational Intelligence and Intelligent Informatics  11 ( 2 )   2007.02

Research paper (scientific journal)

Part： pp.210--219

Joint Work  English 

Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model

Koike,H.,Akama,K.,Mabuchi,H.

Journal of Advanced Computational Intelligence and Intelligent Informatics  10 ( 3 )   2006.05

Research paper (scientific journal)

Part： pp.302--311

Joint Work  English 

Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model

Takarajima, I.,Akama,K., Imani,I., Mabuchi,H.

Journal of Advanced Computational Intelligence and Intelligent Informatics  10 ( 3 )   2006.05

Research paper (scientific journal)

Part： pp.349--361

Joint Work  English 

Converting Constraint Handling Rules to Equivalent Transformation Rules

Shigeta,Y.,Akama, K.,Mabuchi,H.,以下１名

Journal of Advanced Computational Intelligence and Intelligent Informatics  10 ( 3 )   2006.05

Research paper (scientific journal)

Part： pp.339--348

Joint Work  English 

Multi-Head Rules in Equivalent Transformation

Takahiko Ishikawa, Kiyoshi Akama, Hiroshi Mabuchi, and Yuichi Yamamoto

Intelligent Systems at the Service of Mankind Vol.1    299 - 310   2003.11

Research paper (scientific journal)

Joint Work  English 

Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation

Mabuchi,H.,Akama,K.,Ishikawa,T.,以下１名

Journal of Advanced Computational Intelligence and Intelligent Informatics  7 ( 3 )   2003.10

Research paper (scientific journal)

Part： pp.306--314

Joint Work  English 

How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm

Ishikawa,T.,Akama,K.,Mabuchi,H.

Journal of Advanced Computational Intelligence and Intelligent Informatics  7 ( 3 )   2003.10

Research paper (scientific journal)

Part： pp.260--267

Joint Work  English