On confluence and residuals in Cauchy convergent transfinite rewriting

Jakob Grue Simonsen*

*Corresponding author for this work
11 Citations (Scopus)

Fingerprint

Dive into the research topics of 'On confluence and residuals in Cauchy convergent transfinite rewriting'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science