Safety and Completeness of Disambiguation corresponds to Termination and Confluence of Reordering

Luí­s Eduardo Amorim de Souza, Eelco Visser. Safety and Completeness of Disambiguation corresponds to Termination and Confluence of Reordering. June 2020.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.