Erdenebayar Bayarmagnai

Orcid: 0009-0008-1153-6405

According to our database1, Erdenebayar Bayarmagnai authored at least 2 papers in 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2024
0
1
2
3
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Algebraic Tools for Computing Polynomial Loop Invariants (Extended Version).
CoRR, 2024

Algebraic Tools for Computing Polynomial Loop Invariants.
Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, 2024


  Loading...