On the Confluence of Linear Shallow Term Rewrite Systems

@inproceedings{Godoy2003OnTC,
  title={On the Confluence of Linear Shallow Term Rewrite Systems},
  author={Guillem Godoy and Ashish Tiwari and Rakesh M. Verma},
  booktitle={STACS},
  year={2003}
}
Highly Cited
This paper has 25 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.