Una tecnica para el estudio de relaciones entre estructuras para lenguajes con varias clases de variables.

Tesis doctoral de Hortala Gonzalez M. Teresa Obtenemos un teorema de preservacion general para las relaciones definibles en primer orden […]

, , , , ,