Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal logic
Semantics
18
Algebra
6
Calculations
6
Computer circuits
6
Many valued logics
6
Modal logic
6
Algorithms
4
Backwards verification
4
Chaos theory
4
Chaotic iteration
4
Finite automata
4
Fixpoint
4
Iterative methods
4
Many-valued logics
4
Mathematical models
4
Mathematical operators
4
Set theory
4
Timed automata (TA)
4
Abstract framework
2
Abstract model theory
2
Algebraic semantic
2
Alloy
2
Automation
2
Categorical structure
2
Combinatorial circuits
2
Completeness theorems
2
Complexity
2
Computability and decidability
2
Computational complexity
2
-
1Publicado 2017Materias: “...Semantics...”
-
2
-
3
-
4Materias: “...Semantics...”
SER -
5Publicado 2016Materias: “...Semantics...”
-
6por Cabrer, L., Rivieccio, U., Rodriguez, R.O., Vieira S., Carvalho J.P., Lesot M.-J., Bouchon-Meunier B., Kaymak U., Yager R.R.Materias: “...Semantics...”
SER -
7Materias: “...Semantics...”
-
8Materias: “...Semantics...”
Artículo publishedVersion -
9Materias: “...Semantics...”
Artículo publishedVersion -
10Materias: “...Semantics...”
JOUR -
11
-
12
-
13Materias: “...Semantics...”
-
14Materias: “...Semantics...”
CONF -
15Publicado 2015Materias: “...Semantics...”
-
16Materias: “...Semantics...”
JOUR -
17Publicado 2017Materias: “...Semantics...”
-
18Materias: “...Semantics...”
JOUR