Semigroups in Complete Lattices Quantales, Modules and Related Topics /
This monograph provides a modern introduction to the theory of quantales. First coined by C.J. Mulvey in 1986, quantales have since developed into a significant topic at the crossroads of algebra and logic, of notable interest to theoretical computer science. This book recasts the subject within the...
Κύριοι συγγραφείς: | Eklund, Patrik (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), Gutiérrez García, Javier (http://id.loc.gov/vocabulary/relators/aut), Höhle, Ulrich (http://id.loc.gov/vocabulary/relators/aut), Kortelainen, Jari (http://id.loc.gov/vocabulary/relators/aut) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
Έκδοση: | 1st ed. 2018. |
Σειρά: | Developments in Mathematics,
54 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Birational Geometry of Hypersurfaces Gargnano del Garda, Italy, 2018 /
Έκδοση: (2019) -
Geometry of Moduli
Έκδοση: (2018) -
Proof Theory and Algebra in Logic
ανά: Ono, Hiroakira, κ.ά.
Έκδοση: (2019) -
Hopf Algebras and Their Generalizations from a Category Theoretical Point of View
ανά: Böhm, Gabriella, κ.ά.
Έκδοση: (2018) -
Simplicial Methods for Higher Categories Segal-type Models of Weak n-Categories /
ανά: Paoli, Simona, κ.ά.
Έκδοση: (2019)