- Artículo:
Deductive systems and equational reasoning Complexity of Mackanin 's Algorithm
- Autor:
A.Koscielski
L.Pacholski
- Página:
670
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
43
- Número:
4
- Periodo:
Julio 1996
- ISSN:
00045411
- SrcID:
00045411-1996-04.TXT
- Documento número 1670638
- 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
