Thaynara Arielly de Lima, Avelar Andréia Borges, André Luiz Galdino, M. Ayala-Rincón,
"Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms"
, in Temur Kutsia, Daniel Ventura, David Monniaux and José F. Morales: Electronic Proceedings in Theoretical Computer Science, Vol. 402, Open Publishing Association, Seite(n) 18?33, 2024, ISBN: 2075-2180
Original Titel:
Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
Sprache des Titels:
Englisch
Original Buchtitel:
Electronic Proceedings in Theoretical Computer Science
Forschungs-