RT info:eu-repo/semantics/bachelorThesis T1 Configuración de los sistemas de tiempo ramificado de la lógica temporal A1 Álvarez Domínguez, Daniel YR 2017 FD 2017 LK http://riull.ull.es/xmlui/handle/915/5137 UL http://riull.ull.es/xmlui/handle/915/5137 LA es DS Repositorio institucional de la Universidad de La Laguna RD 22-dic-2024