Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal logic
Algebra
2
Alloy
2
Automation
2
Computer programming languages
2
Dynamic logic
2
Satisfiability
2
Semantics
2
Abstract framework
1
Abstract model theory
1
Abstracting
1
Automatic analysis
1
Calculations
1
Categorical structure
1
Complex data structures
1
Computational complexity
1
Computer hardware description languages
1
Concretes
1
Data structures
1
DynAlloy
1
Dynamic programming
1
Fork algebras
1
Formal foundation
1
Logic design
1
Model checking
1
Novel techniques
1
Orders of magnitude
1
Problem solving
1
Proof calculus
1
Proof system
1
-
1Materias: “...Formal foundation...”
SER -
2Materias: “...Formal logic...”
JOUR -
3Materias: “...Formal logic...”
JOUR -
4Materias: “...Formal logic...”
CONF