Search Results
Suggested Topics within your search.
Suggested Topics within your search.
- invariant
- інваріант 2
- 13A50 1
- 16R30 1
- 17B01 1
- IPCL 1
- Lie algebra 1
- Narayana polynomials 1
- Poincaré series 1
- UDC 004.415.52 1
- UDC 512.647 1
- algebra of invariants 1
- binary form 1
- classical invariant theory 1
- composition-nominative languages 1
- concurrent program 1
- covariant 1
- formal verification 1
- generic 1
- interleaving 1
- safety property proof 1
- software correctness 1
- УДК 004.415.52 1
- УДК 512.647 1
- алгебра інваріантів 1
- бінарна форма 1
- доведення часткової коректності 1
- доказательство частичной корректности 1
- инвариант 1
- класична теорія інваріантів 1
-
1
-
2
Співвідношення для рядів Пуанкаре алгебр інваріантів бінарних форм
Published 2021Get full text
Article -
3
Correctness Property Proof for the Banking System for Money Transfer Payments
Published 2018Get full text
Article