research
∙
03/28/2023
On Causal Equivalence by Tracing in String Rewriting
We introduce proof terms for string rewrite systems and, using these, sh...
share
research
∙
05/28/2019
