About this scholarly article

Formalized Confluence of Quasi-Decreasing, Strongly Deterministic Conditional TRSs by Sternagel, Thomas; Sternagel, Christian is a scholarly article available to read on EtoBox.

Author

Sternagel, Thomas; Sternagel, Christian

Published

2016

Language

EN