Melanija Mitrovic

dblp:127/2823 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
1since 2021 · last 2021
0000-0001-9073-3360ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 1 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2021 Theory of Constructive Semigroups with Apartness - Foundations, Development and Practice
abstract
This paper has several purposes. We present through a critical review the results from already published papers on the constructive semigroup theory, and contribute to its further development by giving solutions to open problems. We also draw attention to its possible applications in other (constructive) mathematics disciplines, in computer science, social sciences, economics, etc. Another important goal of this paper is to provide a clear, understandable picture of constructive semigroups with apartness in Bishop's style both to (classical) algebraists and the ones who apply algebraic knowledge.
Melanija Mitrovic, Mahouton Norbert Hounkonnou, Marian Alexandru Baroni
Fundam. Informaticae1