- Artículo:
Deductive systems and equational reasoning Decomposition of Tautologies into Regular Formulas and Strong Completeness of Connection-Graph Resolution
- Autor:
W. Bibel
E. Eder
- Página:
320
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
44
- Número:
2
- Periodo:
Marzo 1997
- ISSN:
00045411
- SrcID:
00045411-1997-02.TXT
- Documento número 1670661
- 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
