Buscar
Mostrando ítems 1-3 de 3
Tesis Doctoral
Developing effcient simulators for cell machines
(2016-02-02)
Membrane Computing, introduced by Gh. Paun at the end of 1998, is a relatively young branch of Natural Computing providing non-deterministic distributed parallel computing models whose computational devices are called membrane ...
Tesis Doctoral
Hacia una concepción generalizada de la abducción, su modelización en lógicas no clásicas y su implementación en herramientas informáticas
(2016-07-15)
Comenzamos esbozando de modo informal una propuesta muy general del concepto de abducción, señalando cuáles son los caracteres esenciales de este tipo de inferencia y qué otros rasgos que tradicionalmente se le han impuesto ...
Tesis Doctoral
Semilinear order property and infinite games
(2016-01-22)
En este trabajo se analiza la determinación de juegos de Lipschitz y Wadge, junto con la propiedad de ordenación semilineal, estrechamente relacionada con estos juegos, en el contexto de la Aritmética de segundo orden y ...