Grigory Vartanyan

Orcid: 0009-0009-9631-8307

According to our database¹, Grigory Vartanyan authored at least 1 paper in 2024.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

A Dependency Pair Framework for Relative Termination of Term Rewriting.

[DOI]

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024