Author of the publication

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)

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.

 

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)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)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)Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain., , , and . IC-AI, page 627-636. CSREA Press, (2005)