Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice
From MaRDI portal
Publication:5862344
DOI10.3233/FI-2021-2098MaRDI QIDQ5862344
Marian Alexandru Baroni, Melanija Mitrović, Mahouton Norbert Hounkonnou
Publication date: 9 March 2022
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2008.11008
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Basic notions of (constructive) semigroups with apartness
- Intuitionism. An introduction
- Classical finite transformation semigroups. An introduction.
- Inequality in constructive mathematics
- Constructivism in mathematics. An introduction. Volume II
- A course in constructive algebra
- Paths in graphs and minimal \(\pi\)-sequences in semigroups
- The lattice of positive quasi-orders on a semigroup
- A constructive algebraic hierarchy in Coq.
- A rational reconstruction of the domain of feature structures
- Isomorphism theorems for basic constructive algebraic structures with special emphasize on constructive semigroups with apartness -- an overview
- A Constructive Version of the Spectral Mapping Theorem
- Apartness and Uniformity
- Rings and Fields, a Constructive View
- Quasi-orders, Generalized Archimedeaness and Semilattice Decompositions
- Constructive Mathematics in Theory and Programming Practice
- Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis
- Continuity Properties of Preference Relations
- Some relations and subsets generated by principal consistent subset of semigroup with apartness
- Semigroups with apartness
- Constructive Aspects of Noetherian Rings
This page was built for publication: Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice