Mostrando ítems 1-2 de 2
Bou Moliner, Félix (Fecha de defensa: 2004-10-01)
Esta tesis doctoral introduce los aquí llamados lenguajes estricto-débiles, y los analiza desde diversos puntos de vista. Los lenguajes estricto débiles son aquellos lenguajes formales que constan de ...
Dellunde i Clavé, Pilar (Fecha de defensa: 1996-01-01)
La tesis doctoral es un estudio de la teoria de modelos de la lógica sin identidad. Se estudia el fragmento de la lógica de primer orden compuesto por las fórmulas que no tienen el símbolo de identidad. ...