Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal logic
Semantics
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
-
1
-
2Materias: “...Formal foundation...”
SER -
3Materias: “...Formal logic...”
-
4Materias: “...Formal logic...”
Artículo publishedVersion -
5Materias: “...Formal logic...”
Artículo publishedVersion -
6Materias: “...Formal logic...”
JOUR -
7
-
8
-
9Materias: “...Formal logic...”
-
10Materias: “...Formal logic...”
CONF -
11Publicado 2015Materias: “...Formal logic...”
-
12Publicado 2017Materias: “...Formal logic...”
-
13Materias: “...Formal logic...”
JOUR -
14
-
15Publicado 2017Materias: “...Formal logic...”
-
16Materias: “...Formal logic...”
JOUR -
17Publicado 2016Materias: “...Formal logic...”
-
18por Cabrer, L., Rivieccio, U., Rodriguez, R.O., Vieira S., Carvalho J.P., Lesot M.-J., Bouchon-Meunier B., Kaymak U., Yager R.R.Materias: “...Formal logic...”
SER