Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples

J. Endrullis, C.A. Grabmayer, R.D.A. Hendriks, V. van Oostrom

Research output: Contribution to JournalArticleAcademicpeer-review

Fingerprint

Dive into the research topics of 'Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples'. Together they form a unique fingerprint.

Mathematics