Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
First order logic
Formal logic
8
Alloy
2
Alloy analyzers
2
Alloy languages
2
Alloying
2
Alloys
2
Analysis costs
2
Arbitrary sets
2
Boolean combinations
2
Calculations
2
Characterization
2
Characterization theorems
2
Clauses satisfiability
2
Computer aided software engineering
2
Computer circuits
2
Computer simulation
2
Computer software
2
Constraint Databases
2
Curry howard isomorphism
2
Curry-Howard correspondence
2
Curry-Howard isomorphism
2
Data exploration
2
Data structures
2
Data visualization
2
Definability
2
Didactic tools
2
Differentiation (calculus)
2
Efficient query evaluation
2
Experimental evaluation
2
-
1Materias: “...Modal logics...”
-
2Materias: “...Modal logics...”
JOUR -
3Publicado 2009Materias: “...First order logic...”
-
4
-
5Publicado 2017Materias: “...First-order logic of proofs...”
-
6
-
7Publicado 2004Materias: “...Formal logic...”
-
8
-
9Materias: “...First order logic...”
-
10por Rosner, N., Siddiqui, J.H., Aguirre, N., Khurshid, S., Frias, M.F., IEEE Computer Society; Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Technical Council on Software Engineering (TCSE); ACM SIGART; NASAMaterias: “...First order logic...”
CONF