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 25-abr-2024