Daniyar S. Shamkanov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2011–2020
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | AiML | Global Neighbourhood Completeness of the Provability Logic | Daniyar S. Shamkanov |
| 2019 | WoLLIC | Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs. | Yury Savateev, Daniyar S. Shamkanov |
| 2017 | WoLLIC | Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs. | Yury Savateev, Daniyar S. Shamkanov |
| 2017 | WoLLIC | Global Neighbourhood Completeness of the Gdel-Lb Provability Logic. | Daniyar S. Shamkanov |
| 2011 | WoLLIC | Strong Normalization and Confluence for Reflexive Combinatory Logic. | Daniyar S. Shamkanov |