11 results on '"Polina Vinogradova"'
Search Results
2. Formalizing the Unexpected Hanging Paradox: A Classical Surprise.
3. Babel Fees via Limited Liabilities.
4. Native Custom Tokens in the Extended UTXO Model.
5. UTXOsf ma: UTXO with Multi-asset Support.
6. Flexible Formality Practical Experience with Agile Formal Methods.
7. Babel Fees via Limited Liabilities.
8. Formalizing Abstract Computability: Turing Categories in Coq.
9. Asymptotic estimates of a projection-difference method for an operator-differential equation.
10. A study of Galerkin method for the heat convection equations.
11. Convergence estimates of a projection-difference method for an operator-differential equation.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.