List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Program schemata technique for propositional program logics: a 30-year history Programming and Computer Software | 2020-12-16 | Paper |
| 3-Regular subgraphs and (3,1)-colorings of 4-regular pseudographs Journal of Applied and Industrial Mathematics | 2015-07-27 | Paper |
Research outcomes over time
This page was built for person: A. Yu. Bernshtein
