Mai Gehrke - Böcker
Visar alla böcker från författaren Mai Gehrke. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Del 61 - Cambridge Tracts in Theoretical Computer Science
Topological Duality for Distributive Lattices
Theory and Applications
Inbunden, Engelska, 2024
825 kr
Skickas inom 7-10 vardagar
Introducing Stone-Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical background necessary for reading and understanding current research in the area. After giving a thorough introduction to the algebraic, topological, logical, and categorical aspects of the theory, the book covers two advanced applications in computer science, namely in domain theory and automata theory. These topics are at the forefront of active research seeking to unify semantic methods with more algorithmic topics in finite model theory. Frequent exercises punctuate the text, with hints and references provided.
Relational and Algebraic Methods in Computer Science
19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings
Häftad, Engelska, 2021
789 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021. They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms.
- Nyhet
Topology, Algebra and Categories in Logic
Lecture Notes of the Coimbra TACL Summer School, 14–18 June 2022
Inbunden, Engelska, 2026
721 kr
Kommande
This book provides a comprehensive introduction to some key subjects in logic, category theory, algebra and topology. Its five chapters contain the written records of the five courses of the 2022 TACL Summer School (Mira, Portugal, June 14-18, 2022), addressed to graduate students and more experienced mathematicians working in algebra, topology, categories and logic. This volume can help researchers to quickly get into the subject by offering «self-contained» introductions to the subjects.