- Artículo:
Termination for Direct Sums of Left-Linear Complete Term Rewriting Systems
- Autor:
Toyama
J. W. Klop
H. R Barendregt
- Página:
1275
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
6
- Periodo:
Noviembre 1995
- ISSN:
00045411
- SrcID:
00045411-1995-06.txt
- Documento número 1670625
- Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Enlace directo
