Goebel, R. (1983). A Completion Procedure for globally finite term rewriting systems.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Chicago-čujuhus (17. p.)
Goebel, Richard. A Completion Procedure for Globally Finite Term Rewriting Systems. Kaiserslautern, 1983.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
MLA-čujuhus (9. p.)
Goebel, Richard. A Completion Procedure for Globally Finite Term Rewriting Systems. 1983.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.