Peter Jipsen – författare
Visar alla böcker från författaren Peter Jipsen. Handla med fri frakt och snabb leverans.
8 produkter
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Av Hiroakira Ono, Tomasz Kowalski m. fl.
E-bok, 2007
1548 kr
Lägg i varukorg
The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to …
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Av Nikolaos Galatos, Peter Jipsen m. fl.
Inbunden, 2007
2105 kr
Lägg i varukorg
The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to …
Relational and Algebraic Methods in Computer Science
18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings
Av Uli Fahrenberg, Peter Jipsen m. fl.
Häftad, 2020
566 kr
Lägg i varukorg
This book constitutes the proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2020, which was due to be held in Palaiseau, France, in April 2020. The conference was cancelled due to the COVID-19 pandemic.The 20 full papers presented …
Relational and Algebraic Methods in Computer Science
18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings
Av Michael Winter, Peter Jipsen m. fl.
E-bok, 2020
718 kr
Lägg i varukorg
This book constitutes the proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2020, which was due to be held in Palaiseau, France, in April 2020. The conference was cancelled due to the COVID-19 pandemic. The 20 full papers presented …
Relational and Algebraic Methods in Computer Science
14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Av Peter Höfner, Peter Jipsen m. fl.
Häftad, 2014
566 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured …
Relational and Algebraic Methods in Computer Science
14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Av Martin Eric Muller, Wolfram Kahl m. fl.
E-bok, 2014
710 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014. The 25 revised full papers presented were carefully selected from 37 submissions. The papers are …
Varieties of Lattices
E-bok, 2006
375 kr
Lägg i varukorg
The study of lattice varieties is a field that hasexperienced rapid growth in the last 30 years, but many ofthe interesting and deep results discovered in that periodhave so far only appeared in research papers. The aim ofthis monograph is to present the main results about modularand nonmodular …
Varieties of Lattices
Häftad, 1992
278 kr
Lägg i varukorg
The study of lattice varieties is a field that hasexperienced rapid growth in the last 30 years, but many ofthe interesting and deep results discovered in that periodhave so far only appeared in research papers. The aim ofthis monograph is to present the main results about modularand nonmodular …
