Browsing by Subject
Showing results 1180 to 1199 of 2601
< previous
next >
- Completeness | Curry-Howard correspondence | Kripke-style semantics | Lambda calculus 1
- Completeness | Finite ranges of probabilities | Probabilistic logic 1
- Completeness | First order logic | Possible worlds | Probability 1
- Completeness | Justification logic | Probabilistic justiciations | Probability logic | Soundness | Uncertain justifications 1
- Completeness | Probability logic | Sigma-additivity 1
- completion of matrices | feedback equivalence | low rank perturbations 1
- Completion of matrix pencils | Convexity | Polynomial chains 1
- Completion of matrix pencils | Kronecker invariants | Partitions of integers 1
- Completion of matrix pencils | Low rank perturbations | Matrix pencils 1
- completion of matrix pencils | low rank perturbations | matrix pencils 1
- Completion of matrix pencils | Majorization of partitions 1
- Completion of matrix pencils | Majorization of partitions | Small rank perturbations 1
- Completion of matrix pencils | Partitions of integers | Polynomial paths | Quasi-regular matrix pencils 1
- Completion of matrix pencils | Polynomial chains | Quasi-regular pencils 1
- Completion | Controllability | Invariant factors | Linear systems 1
- Completion | Fuzzy subgroups | Lattice of subgroups 1
- Completion | Kronecker canonical form | Kronecker invariants | Matrix pencils 1
- Completion | Kronecker invariants | Matrix pencils 1
- Completion | Kronecker invariants | Matrix pencils | Pole placement | Singular systems | State feedback 2
- Completion | Kronecker invariants | Matrix pencils | Regular subpencil 1