Reinis Cirpons

Orcid: 0000-0001-7238-1576

According to our database¹, Reinis Cirpons authored at least 3 papers between 2022 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Certifying the Decidability of the Word Problem in Monoids at Large.

[DOI]

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2023

Polynomial time multiplication and normal forms in free bands.

[DOI]

Theor. Comput. Sci., April, 2023

2022

Polynomial time multiplication and normal forms in free band.

[DOI]

CoRR, 2022