Alexander Zapryagaev
From MaRDI portal
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 |
|---|---|---|
| On Non-Standard Models of B\"uchi Arithmetics | 2023-12-21 | Paper |
| Some properties of B\"uchi Arithmetics | 2023-10-24 | Paper |
| Linear Orders in Presburger Arithmetic | 2022-09-23 | Paper |
| Multi-dimensional Interpretations of Presburger Arithmetic in Itself Journal Of Logic And Computation | 2020-12-15 | Paper |
| Multi-Dimensional Interpretations of Presburger Arithmetic in Itself (available as arXiv preprint) | 2020-04-05 | Paper |
| Interpretations of Linear Orderings in Presburger Arithmetic | 2019-11-17 | Paper |
| Interpretations of Presburger arithmetic in itself (available as arXiv preprint) | 2018-04-06 | Paper |
Research outcomes over time
This page was built for person: Alexander Zapryagaev
