( en | de | ru )

 

Disambiguation of "Koike, Hidekatsu"

Author of the publication

copydeleteadd this publication to your clipboard
Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain.

, , , and . IC-AI, page 627-636. CSREA Press, (2005)

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

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)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)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)A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation., , and . RULE@PLI, volume 59 of Electronic Notes in Theoretical Computer Science, page 255-270. Elsevier, (2001)