Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Calculations
Computation theory
Algebras of connectors
1
Bisimilarity
1
Computer circuits
1
Derivation space
1
Differentiation (calculus)
1
Finite state
1
Garbage-free
1
Intersection types
1
Lambda calculus
1
Machinery
1
Non Determinism
1
Normal form
1
P/T net
1
Petri nets
1
Petri nets with boundaries
1
Reconfigurable hardware
1
Semantics
1
Semilattices
1
Simulation theorem
1
Strong normalization
1
Subject reduction
1
-
1
-
2