Cite
APA Citation
Chenavier, C. (2018). reduction operators and completion of rewriting systems. Journal of symbolic computation, 84, 57–83. http://access.bl.uk/ark:/81055/vdc_100049838259.0x00005d
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Chenavier, C. (2018). reduction operators and completion of rewriting systems. Journal of symbolic computation, 84, 57–83. http://access.bl.uk/ark:/81055/vdc_100049838259.0x00005d