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:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2024
|
| Schriftenreihe: | Cambridge tracts in theoretical computer science
61 |
| Schlagworte: | |
| Online-Zugang: | DE-12 DE-634 DE-92 URL des Erstveröffentlichers |
| 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 |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 16 Feb 2024) |
| Beschreibung: | 1 Online-Ressource (xvi, 351 Seiten) |
| ISBN: | 9781009349680 |
| DOI: | 10.1017/9781009349680 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049729329 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 240604s2024 |||| o||u| ||||||eng d | ||
| 020 | |a 9781009349680 |c Online |9 978-1-009-34968-0 | ||
| 024 | 7 | |a 10.1017/9781009349680 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781009349680 | ||
| 035 | |a (OCoLC)1437873991 | ||
| 035 | |a (DE-599)BVBBV049729329 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 |a DE-634 | ||
| 082 | 0 | |a 511.3/3 | |
| 100 | 1 | |a Gehrke, Mai |4 aut | |
| 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 |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Cambridge tracts in theoretical computer science |v 61 | |
| 500 | |a Title from publisher's bibliographic system (viewed on 16 Feb 2024) | ||
| 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 | ||
| 650 | 4 | |a Lattices, Distributive / Textbooks | |
| 650 | 4 | |a Duality theory (Mathematics) / Textbooks | |
| 700 | 1 | |a Gool, Sam van |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-009-34969-7 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/9781009349680 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 966 | e | |u https://doi.org/10.1017/9781009349680 |l DE-12 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781009349680 |l DE-634 |p ZDB-20-CBO |q BTU_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781009349680 |l DE-92 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1805082594934521856 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Gehrke, Mai Gool, Sam van |
| author_facet | Gehrke, Mai Gool, Sam van |
| author_role | aut aut |
| author_sort | Gehrke, Mai |
| author_variant | m g mg s v g sv svg |
| building | Verbundindex |
| bvnumber | BV049729329 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9781009349680 (OCoLC)1437873991 (DE-599)BVBBV049729329 |
| dewey-full | 511.3/3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/3 |
| dewey-search | 511.3/3 |
| dewey-sort | 3511.3 13 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1017/9781009349680 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nmm a2200000zcb4500</leader><controlfield tag="001">BV049729329</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">240604s2024 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781009349680</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-009-34968-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/9781009349680</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781009349680</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1437873991</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049729329</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/3</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gehrke, Mai</subfield><subfield code="4">aut</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><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">61</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 16 Feb 2024)</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="650" ind1=" " ind2="4"><subfield code="a">Lattices, Distributive / Textbooks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Duality theory (Mathematics) / Textbooks</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gool, Sam van</subfield><subfield code="4">aut</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">978-1-009-34969-7</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/9781009349680</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781009349680</subfield><subfield code="l">DE-12</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781009349680</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BTU_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781009349680</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV049729329 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-20T07:35:09Z |
| institution | BVB |
| isbn | 9781009349680 |
| language | English |
| oclc_num | 1437873991 |
| open_access_boolean | |
| owner | DE-12 DE-92 DE-634 |
| owner_facet | DE-12 DE-92 DE-634 |
| physical | 1 Online-Ressource (xvi, 351 Seiten) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO BTU_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 2024 |
| publishDateSearch | 2024 |
| publishDateSort | 2024 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Cambridge tracts in theoretical computer science |
| spelling | Gehrke, Mai aut 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 rdacontent c rdamedia cr rdacarrier Cambridge tracts in theoretical computer science 61 Title from publisher's bibliographic system (viewed on 16 Feb 2024) 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 Lattices, Distributive / Textbooks Duality theory (Mathematics) / Textbooks Gool, Sam van aut Erscheint auch als Druck-Ausgabe 978-1-009-34969-7 https://doi.org/10.1017/9781009349680 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Gehrke, Mai Gool, Sam van Topological duality for distributive lattices theory and applications Lattices, Distributive / Textbooks Duality theory (Mathematics) / Textbooks |
| 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 |
| topic | Lattices, Distributive / Textbooks Duality theory (Mathematics) / Textbooks |
| topic_facet | Lattices, Distributive / Textbooks Duality theory (Mathematics) / Textbooks |
| url | https://doi.org/10.1017/9781009349680 |
| work_keys_str_mv | AT gehrkemai topologicaldualityfordistributivelatticestheoryandapplications AT goolsamvan topologicaldualityfordistributivelatticestheoryandapplications |