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...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge
Cambridge University Press
2024
|
| Series: | Cambridge tracts in theoretical computer science
61 |
| Subjects: | |
| Links: | https://doi.org/10.1017/9781009349680 https://doi.org/10.1017/9781009349680 https://doi.org/10.1017/9781009349680 https://doi.org/10.1017/9781009349680 |
| Summary: | 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 |
| Item Description: | Title from publisher's bibliographic system (viewed on 16 Feb 2024) |
| Physical Description: | 1 Online-Ressource (xvi, 351 Seiten) |
| ISBN: | 9781009349680 |
| DOI: | 10.1017/9781009349680 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049729329 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 240604s2024 xx o|||| 00||| 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 | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-035071556 | |
| 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 | |
Record in the Search Index
| _version_ | 1818992070010863616 |
|---|---|
| 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>02434nam a2200433zcb4500</leader><controlfield tag="001">BV049729329</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">240604s2024 xx o|||| 00||| 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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-035071556</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-12-20T20:20:18Z |
| institution | BVB |
| isbn | 9781009349680 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-035071556 |
| 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 |