RT info:eu-repo/semantics/bachelorThesis
T1 Lógica Temporal y Autómatas Finitos
A1 Sócola Ramos, Martín Alexis
K1 Lógica modal
YR 2015
FD 2015
LK http://riull.ull.es/xmlui/handle/915/871
UL http://riull.ull.es/xmlui/handle/915/871
LA es
DS Repositorio institucional de la Universidad de La Laguna
RD 19-abr-2024