Author of the publication

Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems.

, and . RTA, volume 488 of Lecture Notes in Computer Science, page 335-347. Springer, (1991)

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

Blind DC Estimation in the Presence of Non-Gaussian Signal., and . VTC Fall, page 1-5. IEEE, (2006)Spectrum shaping for land mobile radio systems., , , and . Eur. Trans. Telecommun., 8 (1): 79-88 (1997)Nonlinear Pattern Matching in Trees., and . ICALP, volume 317 of Lecture Notes in Computer Science, page 473-488. Springer, (1988)Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems., and . RTA, volume 488 of Lecture Notes in Computer Science, page 335-347. Springer, (1991)Integrated total cost and Tolerance Optimization with Genetic Algorith., , and . Int. J. Comput. Intell. Syst., 3 (3): 325-333 (2010)Development of surface texture evaluation system for highly sparse data-driven machining domains., , and . Int. J. Comput. Integr. Manuf., 33 (9): 859-868 (2020)Term Matching on Parallel Computers., , , and . J. Log. Program., 6 (3): 213-228 (1989)Efficient sensitivity orient blockchain encryption for improved data security in cloud., , and . Concurr. Eng. Res. Appl., (2021)Multistage Indexing Algorithms for Speeding Prolog Execution., , and . JICSLP, page 639-653. MIT Press, (1992)final version: SP&E 24(12): 1097-1119 (1994).Implementation of Tabled Evaluation with Delaying in Prolog., and . IEEE Trans. Knowl. Data Eng., 9 (4): 559-574 (1997)