Author of the publication

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

, , , and . JACIII, 10 (3): 349-361 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Mabuchi, Hiroshi
add a person with the name Mabuchi, Hiroshi
 

Other publications of authors with the same name

How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm., , and . JACIII, 7 (3): 260-267 (2003)Converting Constraint Handling Rules to Equivalent Transformation Rules., , , and . JACIII, 10 (3): 339-348 (2006)Equivalent Transformation Rules as Components of Programs., , and . ICICIC (2), page 282-287. IEEE Computer Society, (2006)How best to restore operations of a damaged ANN?, , , , , and . IJCNN, page 1-7. IEEE, (2010)Infinite Computation in the Equivalent Transformation Model., , , and . JACIII, 11 (2): 176-186 (2007)Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model., , , and . JACIII, 10 (3): 349-361 (2006)Distance Based Location Management in Cellular PCS Network -a Critical Study., , , and . AINA (2), page 95-98. IEEE Computer Society, (2004)Problem solving by equivalent transformation of negative constraints., , , and . SMC, page 357-363. IEEE, (2005)Synthesis of Conversion Rules by Expanding Knowledge Representation., , , and . Artificial Intelligence and Soft Computing, page 434-440. IASTED/ACTA Press, (2000)Unreachability for a Class of Rewriting Systems using Two Homomorphisms., , , and . Artificial Intelligence and Soft Computing, page 494-500. IASTED/ACTA Press, (2000)