Un estudio algebraico de los calculos proposicionales de lukasiewicz.
Tesis doctoral de Rodriguez Salas Antonio Jesús Tras una breve presentacion de las algebras de sales asociadas a la parte […]
Tesis doctoral de Rodriguez Salas Antonio Jesús
Información academica Rodriguez Salas Antonio Jesús. Tesis donde Rodriguez Salas Antonio Jesús ha sido autor, director o parte del tribunal.
Diseño de un nuevo algoritmo para búsqueda de patrones en secuencias biológicas
Tesis doctoral de Raquel Tobes Terán Se han diseñado un conjunto de algoritmos basados en autómatas deterministas finitos especialmente orientados
Sistemes de gentzen multidimensionals i logiques finitament valorades. teoria i aplicacions.
Tesis doctoral de Gil Estallo Angel Javier Se define sistema de gentzen m-dimensional como una pareja formada por un lenguaje
Un estudio algebraico de las logicas temporales
Tesis doctoral de Francisco Garcia Olmedo En la memoria se efectua un estudio de las algebras temporales. En el mismo