Proving Termination of Tree Manipulating Programs
Book chapter (January 2007)
The most recent citing publications are shown below. View all 13 publications that cite this research output on Dimensions.
Book chapter (January 2007)
Article in Advanced Engineering Informatics (July 2006)
Book chapter (January 2004)