Funciones de complejidad y su relacion con las familias abstractas de lenguajes
Tesis doctoral de Joaquin Gabarro Valles Datos académicos de la tesis doctoral «Funciones de complejidad y su relacion con […]
Tesis doctoral sobre Teoría de lenguajes formales
Accede a todas las tesis doctorales sobre Teoría de lenguajes formales mas relevantes.
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
Abstract certification of java programs in rewriting logic
Tesis doctoral de Mauricio Fernando Alba Castro In this thesis we propose an abstraction based certification technique for java programs
Sistema informático para la gestión integral del conocimiento y su representación
Tesis doctoral de Javier Alfonso Cendón Esta tesis doctoral parte del lenguaje vila_1, que es un lenguaje visual para la
Metodologías de especificacion formal aplicadas a modelos normalizados de protocolos de comunicación industriales
Tesis doctoral de Nogueira Nine Juan Benigno La creciente complejidad de los protocolos de comunicaciones requiere la utilización de nuevas
Aportacion al analisis del nivel de enlace en protocolos de comunicación para buses de campo normalizados
Tesis doctoral de Miguel Angel Domínguez Gómez Hoy en dia existe en el mercado un gran numero de protocolos en
EquiValencia entre algunos sistemas complejos. automatas celulares, sistemas de lindermayer y fractales.
Tesis doctoral de Alfonso Ortega De La Puente Tanto los autómatas celulares como los fractales son ejemplos bien conocidos de
Diseño y verificacion de sistemas distribuidos mediante la aplicación combinada de metodos formales
Tesis doctoral de Alberto Gil Solla Esta tesis doctoral se centra en la aplicación de las tecnicas formales al diseño
Bases de gÁ¶bner: desarrollo formal en coq
Tesis doctoral de Gilberto Pérez Vega En primer lugar, se aborda, de forma ajustada a lo que se va a
Matrix graph grammars
Tesis doctoral de Pedro Pablo Pérez Velasco Esta tesis presenta una algebraización de las gramáticas de grafos. Desde el punto