( en | de | ru )

 

Disambiguation of "Koike, Hidekatsu"

Author of the publication

copydeleteadd this publication to your clipboard
A Theoretical Foundation of Program Synthesis by Equivalent Transformation.

, , and . Ershov Memorial Conference, volume 2244 of Lecture Notes in Computer Science, page 131-139. Springer, (2001)

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

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)Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation., , , and . IC-AI, page 1040-1046. CSREA Press, (2002)Toward a software development model for automatic marking software., , , , and . SIGUCCS, page 190-193. ACM, (2007)Semantic Interpretation by Rule-based Equivalent Transformation., , , and . Artificial Intelligence and Soft Computing, page 472-478. IASTED/ACTA Press, (2000)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)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)Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method., , and . Ershov Memorial Conference, volume 4378 of Lecture Notes in Computer Science, page 41-54. Springer, (2006)