Relational and Algebraic Methods in Computer Science
Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter
Häftad, 2021
1 069 kr
Del 61 i serien Cambridge Tracts in Theoretical Computer Science
1 429 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Mai Gehrke is directeur de recherches in computer science at the French National Centre for Scientific Research (CNRS) working at the department of mathematics of Université Côte d'Azur in Nice. Her main contributions are in Stone duality, canonical extensions, and applications in logic and theoretical computer science. Sam van Gool is maître de conférences at the Research Institute for Foundations of Computer Science (IRIF) at Université Paris Cité. His main contributions are in duality theory and logic in mathematics and computer science.
'This book introduces efficiently Stone-Priestley duality theory for bounded distributive lattices, thereby laying solid mathematical foundations for applications in mathematics and computer science. Readers interested in the fields of domain theory and automata theory will see the general duality theory bearing fruit and opening doors to further applications.' Jorge Almeida, Universidade do Porto
Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter
Häftad, 2021
1 069 kr
Maria Manuel Clementino, Mai Gehrke, Jorge Picado
Inbunden, 2026
869 kr
E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2005
1 019 kr
Flemming Nielson, Hanne Riis Nielson, C. J. van Rijsbergen
Häftad, 2005
1 149 kr
Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2005
1 509 kr
Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2005
1 019 kr
J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2006
1 069 kr
Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter
Häftad, 2021
1 069 kr
Maria Manuel Clementino, Mai Gehrke, Jorge Picado
Inbunden, 2026
869 kr