On recursive path ordering

From MaRDI portal
Publication:1082075

DOI10.1016/0304-3975(85)90175-6zbMath0602.68031OpenAlexW2055323844MaRDI QIDQ1082075

Mukkai S. Krishnamoorthy, Paliath Narendran

Publication date: 1985

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(85)90175-6




Related Items (12)


Uses Software


Cites Work


This page was built for publication: On recursive path ordering