Una técnica para el estudio de relaciones entre estructuras para lenguajes con varias clases de variables

  1. Hortala González, María Teresa
Zuzendaria:
  1. Baldomero Rubio Segovia Zuzendaria

Defentsa unibertsitatea: Universidad Complutense de Madrid

Defentsa urtea: 1978

Epaimahaia:
  1. Sixto Ríos García Presidentea
  2. Baldomero Rubio Segovia Idazkaria
  3. Alberto Dou Mas de Xaxàs Kidea
  4. Enrique Linés Escardó Kidea
  5. Jesús Mosterín Kidea

Mota: Tesia

Teseo: 1426 DIALNET

Laburpena

OBTENEMOS UN TEOREMA DE PRESERVACION GENERAL PARA LAS RELACIONES DEFINIBLES EN PRIMER ORDEN ENTRE ESTRUCTURAS PARA UN LENGUAJE DE PRIMER ORDEN CON N-CLASES DE VARIABLES; PARA LO CUAL GENERALIZAMOS AL LENGUAJE CON N-CLASES DE VARIABLES TODOS LOS RESULTADOS CONOCIDAS DEL LENGUAJE DE PRIMER ORDEN USUAL (1-CLASE DE VARIABLES),