Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
14
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Temporal logic
18
Ciencias Informáticas
11
Linear temporal logic
6
Specifications
6
Algebra
4
Informática
4
Logic Programming
4
Requirements engineering
4
Semantics
4
Software design
4
Software engineering
4
Theory of computation
4
ANALISIS AUTOMATICO
3
AUTOMATIC ANALYSIS
3
BUSINESS PROCESS
3
ETHEREUM
3
FLUENTES
3
FLUENTS
3
LOGICAS TEMPORALES
3
MODEL CHECKING
3
MONITORING
3
Model checking
3
PROCESOS DE NEGOCIOS
3
SOFTWARE VERIFICATION
3
SOLIDITY
3
SURVEY
3
TEMPORAL LOGIC
3
TEMPORAL LOGICS
3
WORKFLOWS
3
Abductive reasoning
2
-
1Materias: “...temporal logic; logic programming; temporal logic programming...”
Aportado por: SEDICI (UNLP)Articulo -
2
-
3
-
4Publicado 2015Materias: “...Temporal logic...”
-
5
-
6
-
7
-
8
-
9
-
10por Bogdanich Espina, VeraMaterias: “...TEMPORAL LOGIC...”
Publicado 2019
Tesis de grado publishedVersion -
11por Bogdanich Espina, VeraMaterias: “...TEMPORAL LOGIC...”
Publicado 2019
Tesis de grado publishedVersion -
12Publicado 2009Materias: “...Linear temporal logic...”
-
13Materias: “...Linear temporal logic...”
JOUR -
14
-
15
-
16
-
17por Morales, MarianelaMaterias: “...Modal and temporal logics...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
18por Morales, MarianelaMaterias: “...Modal and temporal logics...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
19Materias: “...Temporal logic...”
-
20Materias: “...Temporal logic...”
JOUR