Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal logic
Semantics
17
Modal logic
14
Algebra
12
Calculations
10
Satisfiability
10
Computational complexity
9
Computer circuits
8
First order logic
8
Automata theory
7
Alloy
6
Computer programming languages
6
Computer science
6
Computer software
6
Data structures
6
Fork algebras
6
Many valued logics
6
Software engineering
6
Theorem proving
6
Algorithms
5
Boolean functions
5
Finite automata
5
Iterative methods
5
Propositional satisfiability
5
Automatic analysis
4
Automation
4
Characterization
4
Data flow analysis
4
Definability
4
Dynamic logic
4
-
1
-
2Materias: “...Formal foundation...”
SER -
3
-
4
-
5Materias: “...Formal logic...”
-
6Materias: “...Formal logic...”
SER -
7Publicado 2014Materias: “...Formal logic...”
-
8Publicado 2014Materias: “...Formal logic...”
-
9
-
10Materias: “...Formal logic...”
-
11
-
12Publicado 2006Materias: “...Formal logic...”
-
13
-
14Materias: “...Formal logic...”
-
15Materias: “...Formal logic...”
Artículo publishedVersion -
16Materias: “...Formal logic...”
JOUR -
17Materias: “...Formal logic...”
-
18Publicado 2002Materias: “...Formal logic...”
-
19Materias: “...Formal logic...”
JOUR -
20