Apresentação fechada para modelos

16 dezembro 2008, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Apresentação fechada para modelos. Relacionamento com eliminação de quantificadores. Condição suficiente para que uma apresentação fechada para modelos seja completa.