Topological duality for distributive lattices: theory and applications
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...
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Weitere beteiligte Personen: | |
| Format: | E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2024
|
| Schriftenreihe: | Cambridge tracts in theoretical computer science
61 |
| Links: | https://doi.org/10.1017/9781009349680 |
| Zusammenfassung: | 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. |
| Umfang: | 1 Online-Ressource (xvi, 351 Seiten) |
| ISBN: | 9781009349680 |
Internformat
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-20-CTM-CR9781009349680 | ||
| 003 | UkCbUP | ||
| 005 | 20240223093201.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 220902s2024||||enk o ||1 0|eng|d | ||
| 020 | |a 9781009349680 | ||
| 100 | 1 | |a Gehrke, Mai |d 1964- | |
| 245 | 1 | 0 | |a Topological duality for distributive lattices |b theory and applications |c Mai Gehrke, Sam van Gool |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2024 | |
| 300 | |a 1 Online-Ressource (xvi, 351 Seiten) | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 490 | 1 | |a Cambridge tracts in theoretical computer science |v 61 | |
| 520 | |a 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. | ||
| 700 | 1 | |a Gool, Sam van |d 1987- | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781009349697 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-20-CTM |q TUM_PDA_CTM |u https://doi.org/10.1017/9781009349680 |3 Volltext |
| 912 | |a ZDB-20-CTM | ||
| 912 | |a ZDB-20-CTM | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-20-CTM-CR9781009349680 |
|---|---|
| _version_ | 1832177778351407105 |
| adam_text | |
| any_adam_object | |
| author | Gehrke, Mai 1964- |
| author2 | Gool, Sam van 1987- |
| author2_role | |
| author2_variant | s v g sv svg |
| author_facet | Gehrke, Mai 1964- Gool, Sam van 1987- |
| author_role | |
| author_sort | Gehrke, Mai 1964- |
| author_variant | m g mg |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-20-CTM |
| format | eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01528nam a2200265 i 4500</leader><controlfield tag="001">ZDB-20-CTM-CR9781009349680</controlfield><controlfield tag="003">UkCbUP</controlfield><controlfield tag="005">20240223093201.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr||||||||||||</controlfield><controlfield tag="008">220902s2024||||enk o ||1 0|eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781009349680</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gehrke, Mai</subfield><subfield code="d">1964-</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Topological duality for distributive lattices</subfield><subfield code="b">theory and applications</subfield><subfield code="c">Mai Gehrke, Sam van Gool</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2024</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xvi, 351 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">61</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gool, Sam van</subfield><subfield code="d">1987-</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781009349697</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-20-CTM</subfield><subfield code="q">TUM_PDA_CTM</subfield><subfield code="u">https://doi.org/10.1017/9781009349680</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-20-CTM-CR9781009349680 |
| illustrated | Not Illustrated |
| indexdate | 2025-05-15T09:21:30Z |
| institution | BVB |
| isbn | 9781009349680 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xvi, 351 Seiten) |
| psigel | ZDB-20-CTM TUM_PDA_CTM ZDB-20-CTM |
| publishDate | 2024 |
| publishDateSearch | 2024 |
| publishDateSort | 2024 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Cambridge tracts in theoretical computer science |
| spelling | Gehrke, Mai 1964- Topological duality for distributive lattices theory and applications Mai Gehrke, Sam van Gool Cambridge Cambridge University Press 2024 1 Online-Ressource (xvi, 351 Seiten) txt c cr Cambridge tracts in theoretical computer science 61 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. Gool, Sam van 1987- Erscheint auch als Druck-Ausgabe 9781009349697 |
| spellingShingle | Gehrke, Mai 1964- Topological duality for distributive lattices theory and applications |
| title | Topological duality for distributive lattices theory and applications |
| title_auth | Topological duality for distributive lattices theory and applications |
| title_exact_search | Topological duality for distributive lattices theory and applications |
| title_full | Topological duality for distributive lattices theory and applications Mai Gehrke, Sam van Gool |
| title_fullStr | Topological duality for distributive lattices theory and applications Mai Gehrke, Sam van Gool |
| title_full_unstemmed | Topological duality for distributive lattices theory and applications Mai Gehrke, Sam van Gool |
| title_short | Topological duality for distributive lattices |
| title_sort | topological duality for distributive lattices theory and applications |
| title_sub | theory and applications |
| work_keys_str_mv | AT gehrkemai topologicaldualityfordistributivelatticestheoryandapplications AT goolsamvan topologicaldualityfordistributivelatticestheoryandapplications |