Permutation rewriting and algorithmic verification
Article in Information and Computation (February 2007)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
Article in Information and Computation (February 2007)
Book chapter (July 2001)
Conference proceeding (January 2001)