Author of the publication

Solving Permutation Problems Using Rewriting Systems.

, , and . ISSAC, volume 358 of Lecture Notes in Computer Science, page 364-377. Springer, (1988)

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

A Methodology and Notation for Compiler Front End Design., and . Softw. Pract. Exp., 14 (4): 335-346 (1984)Programming by Experimentation and Example., , , and . ICCAL, volume 602 of Lecture Notes in Computer Science, page 136-147. Springer, (1992)Backtrack Searching in the Presence of Symmetry., , and . AAECC, volume 357 of Lecture Notes in Computer Science, page 99-110. Springer, (1988)A Self-Modifying Theorem Prover.. AAAI, page 38-41. AAAI Press, (1984)Using visual feedback and model programs in introductory computer science., , , and . J. Comput. High. Educ., 4 (1): 3-26 (1992)How to Search Efficiently., and . IJCAI, page 588-594. William Kaufmann, (1981)An Average Time Analysis of Backtracking., and . SIAM J. Comput., 10 (3): 583-593 (1981)Specifying One-pass Bottom-up Compilers, and . report, Comp. Sc. Department, University of Indiana, Bloomington, (July 1981)Intelligent Backtracking Using Symmetry., , and . FJCC, page 576-584. IEEE Computer Society, (1986)An Onsite Education Program for Software Quality., and . CSEE, volume 376 of Lecture Notes in Computer Science, page 37-44. Springer, (1989)