- Artículo:
Circumscription with Homomorphisms: Solving the Equality and Counterexample Problems
- Autor:
P. K. Rathmann
M. Winslett
M. Manasse
- Página:
819
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
41
- Número:
5
- Periodo:
Septiembre 1994
- ISSN:
00045411
- SrcID:
00045411-1994-05.txt
- Documento número 1670583
- Actualizado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Enlace directo
