Relational and Algebraic Methods in Computer Science
Uli Fahrenberg, Peter Jipsen, Michael Winter
Häftad, 2020
561 kr
Relational and Algebraic Methods in Computer Science
18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings
E-bok
Engelska, 2020687 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
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 together with 3 invited abstracts were carefully selected from 29 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Relational and Algebraic Methods in Computer Science
Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter
Häftad, 2021
802 kr
Relational and Algebraic Methods in Computer Science
Michael Winter, Luigi Santocanale, Mai Gehrke, Uli Fahrenberg
E-bok
2021993 kr
Del 151
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono
Inbunden, 2007
1 973 kr
Del 1533
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Hiroakira Ono, Tomasz Kowalski, Peter Jipsen, Nikolaos Galatos
E-bok
20071 451 kr
Relational and Algebraic Methods in Computer Science
Martin Eric Muller, Wolfram Kahl, Peter Jipsen, Peter Hofner
E-bok
2014687 kr
Del 8428
Relational and Algebraic Methods in Computer Science
Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
Häftad, 2014
561 kr
Relational and Algebraic Methods in Computer Science
Roland Gluck, Wesley Fussner, Uli Fahrenberg
E-bok
20241 572 kr