( en | de | ru )

 

Disambiguation of "Koike, Hidekatsu"

Author of the publication

copydeleteadd this publication to your clipboard
Expanding Transformation: A Basis for Correctness Verification of Rewriting Rules.

, , and . J. Adv. Comput. Intell. Intell. Informatics, 11 (5): 478-490 (2007)

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.

Ursula Koike-Good

 

Other publications of authors with the same name

Infinite Computation in the Equivalent Transformation Model., , , and . J. Adv. Comput. Intell. Intell. Informatics, 11 (2): 176-186 (2007)Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation., , , and . IC-AI, page 1040-1046. CSREA Press, (2002)Program Synthesis Based on the Equivalent Transformation Computation Model., , and . LOPSTR, volume 2664 of Lecture Notes in Computer Science, page 278-279. Springer, (2002)Converting Constraint Handling Rules to Equivalent Transformation Rules., , , and . J. Adv. Comput. Intell. Intell. Informatics, 10 (3): 339-348 (2006)Semantic Interpretation by Rule-based Equivalent Transformation., , , and . Artificial Intelligence and Soft Computing, page 472-478. IASTED/ACTA Press, (2000)Toward a software development model for automatic marking software., , , , and . SIGUCCS, page 190-193. ACM, (2007)Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model., , and . J. Adv. Comput. Intell. Intell. Informatics, 10 (3): 302-311 (2006)Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation., , , and . J. Adv. Comput. Intell. Intell. Informatics, 7 (3): 306-314 (2003)Developing an e-learning System which enhances students' academic motivation., , , , and . SIGUCCS, page 147-150. ACM, (2005)Problem solving by equivalent transformation of negative constraints., , , and . SMC, page 357-363. IEEE, (2005)