Syntactic characterizations of completeness using duals and operators

Article

Abstract: This article extends the work laid down by Medina and Immerman for the syntactic characterization of

Palabras claves:

Canonical forms, completeness, descriptive complexity, Dual operator, Syntactic operators

Autores:

Bonet B., Nerio Borges

Fuentes:

scopus