Projections for infinitary rewriting (extended version)

Carlos Lombardi, Alejandro Ríos, Roel de Vrijer

Research output: Contribution to JournalArticleAcademicpeer-review

Fingerprint

Dive into the research topics of 'Projections for infinitary rewriting (extended version)'. Together they form a unique fingerprint.

Computer Science

Mathematics

Business & Economics