Ordered and Combinatorial Structures for Higher-Dimensional Rewriting
2016
In principle, rewriting is the logically pure activity of transforming abstract expressions according to fully formalised rules, but in practice there is a significant interplay between abstract ru ...
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI