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
First order logic
8
Modal logic
6
Calculations
4
Characterization
4
Data structures
4
Definability
4
Expressive power
4
Satisfiability
4
Soundness and completeness
4
ALL-SAT
3
Automata theory
3
Boolean algebra
3
Boolean functions
3
Computational complexity
3
Conjunctive normal forms
3
Earley parsing
3
Formal languages
3
Multi-stack automata
3
Order of variables
3
Parsing algorithm
3
Propositional satisfiability
3
SAT
3
Arbitrary sets
2
Authorization languages
2
Biomineralization
2
Boolean combinations
2
Characterization theorems
2
Clauses satisfiability
2
Complex data structures
2
-
1Materias: “...Order and selection function constraints...”
-
2
-
3Materias: “...Second order logic...”
-
4Materias: “...Second order logic...”
JOUR -
5
-
6
-
7Publicado 2017Materias: “...First-order logic of proofs...”
-
8
-
9Publicado 2009Materias: “...First order logic...”
-
10
-
11Publicado 2004Materias: “...First order logic...”
-
12
-
13Materias: “...First order logic...”
-
14Materias: “...First order logic...”
JOUR -
15Publicado 2014Materias: “...Order of variables...”
-
16Publicado 2014Materias: “...Order of variables...”
-
17Publicado 2010Materias: “...First-order...”
-
18
-
19
-
20Materias: “...Orders of magnitude...”