Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Calculations
Semantics
12
Computer circuits
6
Formal logic
6
Algebra
4
Reconfigurable hardware
4
Abstract framework
2
Abstract model theory
2
Algebras of connectors
2
Bisimilarity
2
Categorical structure
2
Category theory
2
Component framework
2
Computation theory
2
Computational linguistics
2
Computer hardware description languages
2
Curry howard isomorphism
2
Curry-Howard correspondence
2
Curry-Howard isomorphism
2
Differentiation (calculus)
2
Dynamic epistemic logic
2
Epistemic logic
2
Epistemic logics
2
Finite state
2
First order logic
2
First-order logic of proofs
2
Formal foundation
2
Formal framework
2
Formal languages
2
Formal methods
2
-
1Publicado 2014Materias: “...Semantics...”
-
2Materias: “...Semantics...”
SER -
3Publicado 2017Materias: “...Semantics...”
-
4
-
5
-
6Materias: “...Semantics...”
SER -
7Publicado 2016Materias: “...Semantics...”
-
8por Cabrer, L., Rivieccio, U., Rodriguez, R.O., Vieira S., Carvalho J.P., Lesot M.-J., Bouchon-Meunier B., Kaymak U., Yager R.R.Materias: “...Semantics...”
SER -
9Publicado 2015Materias: “...Semantics...”
-
10Materias: “...Semantics...”
SER -
11Publicado 2015Materias: “...Semantics...”
-
12Materias: “...Semantics...”
JOUR