Graph structure and monadic second order logic: a language-theoretic approach
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge [u.a.]
Cambridge Univ. Press
2012
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Encyclopedia of mathematics and its applications
138 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. [691] - 710 |
| Beschreibung: | XIV, 728 Seiten Diagramme |
| ISBN: | 9780521898331 0521898331 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040442308 | ||
| 003 | DE-604 | ||
| 005 | 20241112 | ||
| 007 | t| | ||
| 008 | 120926s2012 xx |||| |||| 00||| eng d | ||
| 020 | |a 9780521898331 |c (hbk.) £75.00 |9 978-0-521-89833-1 | ||
| 020 | |a 0521898331 |c (hbk.) £75.00 |9 0-521-89833-1 | ||
| 035 | |a (OCoLC)801063361 | ||
| 035 | |a (DE-599)HBZHT016711971 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-355 |a DE-19 |a DE-11 |a DE-739 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a SK 890 |0 (DE-625)143267: |2 rvk | ||
| 100 | 1 | |a Courcelle, Bruno |e Verfasser |0 (DE-588)1025653947 |4 aut | |
| 245 | 1 | 0 | |a Graph structure and monadic second order logic |b a language-theoretic approach |c Bruno Courcelle ; Joost Engelfriet |
| 246 | 1 | |a Graph structure and monadic second-order logic | |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2012 | |
| 300 | |a XIV, 728 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Encyclopedia of mathematics and its applications |v 138 | |
| 500 | |a Literaturverz. S. [691] - 710 | ||
| 650 | 0 | 7 | |a Graphentheorie |0 (DE-588)4113782-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Endliche Modelltheorie |0 (DE-588)4615978-2 |2 gnd |9 rswk-swf |
| 653 | |a Graph theory. | ||
| 653 | |a Finite model theory. | ||
| 689 | 0 | 0 | |a Graphentheorie |0 (DE-588)4113782-6 |D s |
| 689 | 0 | 1 | |a Endliche Modelltheorie |0 (DE-588)4615978-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Engelfriet, Joost |e Verfasser |0 (DE-588)1025656245 |4 aut | |
| 830 | 0 | |a Encyclopedia of mathematics and its applications |v 138 |w (DE-604)BV000903719 |9 138 | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025290117&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025290117 | |
Datensatz im Suchindex
| _version_ | 1815536829259055104 |
|---|---|
| adam_text |
Contents
Foreword by
Maurice Nivat
page
xi
Introduction
1
1
Overview
16
1.1
Context-free grammars
17
1.2
Inductive sets of properties and recognizability
28
1.3
Monadic second-order logic
40
1.4
Two graph algebras
46
1.5
Fixed-parameter tractability
53
1.6
Decidability of monadic second-order logic
56
1.7
Graph transductions
58
1.8
Monadic second-order logic with edge set quantifications
68
1.9
Relational structures
74
1.10
References
78
2
Graph algebras and widths of graphs
80
2.1
Algebras and terms
81
2.2
Graphs
87
2.3
The HR algebra of graphs with sources
99
2.4
Tree-decompositions
121
2.5
The VR algebra of simple graphs with ports
144
2.6
Many-sorted graph algebras
176
2.7
References
185
3
Equational and recognizable sets in many-sorted algebras
188
3.1
The equational sets of an algebra
189
3.2
Transformations of equation systems
206
3.3
Intermezzo on automata
221
3.4
The recognizable sets of an algebra
227
3.5
References
259
viii Contents
4
Equationai and recognizable sets of graphs
260
4.1
HR-equational sets of graphs
261
4.2
HR-recognizable sets of graphs
281
4.3
VR-equational sets of simple graphs
292
4.4
VR-recognizable sets of simple graphs
305
4.5
HR- and VR-equational and recognizable sets
312
4.6
References
313
5
Monadic second-order logic
315
5.1
Relational structures and logical languages
315
5.2
Graph properties expressible in monadic
second-order logic
331
5.3
Monadic second-order logic and recognizability
358
5.4
Decidable monadic second-order theories
408
5.5
Logical characterization of recognizability
409
5.6
Equivalences of logical formulas
416
5.7
References
425
6
Algorithmic applications
427
6.1
Fixed-parameter tractable algorithms for model-checking
428
6.2
Decomposition and parsing algorithms
433
6.3
Monadic second-order formulas compiled into finite automata
439
6.4
Other monadic second-order problems solved with automata
493
6.5
References
503
7
Monadic second-order transductions
505
7.1
Definitions and basic properties
506
7.2
The Equationality Theorem for the VR algebra
534
7.3
Graph transductions using incidence graphs
555
7.4
The Equationality Theorem for the HR algebra
559
7.5
Decidability of monadic second-order satisfiability problems
566
7.6
Questions about logical characterizations of recognizability
574
7.7
References
576
8
Transductions of terms and words
578
8.1
Terminology
580
8.2
Tree-walking transducers
585
8.3
The basic characterization
591
8.4
From jumping to walking
593
8.5
From global to local tests
595
8.6
Multi
bottom-up
îree-to-word
transducers
604
8.7
Attribute grammars and macro tree transducers
610
8.8
Nondeterminism
613
8.9
VR-equational sets of terms and words
614
8.10
References
618
Contents ix
9 Relational
structures
621
9.1
Two types of ternary relational structures related
to ordered sets
622
9.2
Relational structures of bounded tree-width
629
9.3
Terms denoting relational structures
636
9.4
Sparse relational structures
651
9.5
References
685
Conclusion and open problems
686
References
691
Index of notation
711
Index
721 |
| any_adam_object | 1 |
| author | Courcelle, Bruno Engelfriet, Joost |
| author_GND | (DE-588)1025653947 (DE-588)1025656245 |
| author_facet | Courcelle, Bruno Engelfriet, Joost |
| author_role | aut aut |
| author_sort | Courcelle, Bruno |
| author_variant | b c bc j e je |
| building | Verbundindex |
| bvnumber | BV040442308 |
| classification_rvk | SK 130 SK 890 |
| ctrlnum | (OCoLC)801063361 (DE-599)HBZHT016711971 |
| discipline | Mathematik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV040442308</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20241112</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">120926s2012 xx |||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521898331</subfield><subfield code="c">(hbk.) £75.00</subfield><subfield code="9">978-0-521-89833-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521898331</subfield><subfield code="c">(hbk.) £75.00</subfield><subfield code="9">0-521-89833-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)801063361</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)HBZHT016711971</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 890</subfield><subfield code="0">(DE-625)143267:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Courcelle, Bruno</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1025653947</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Graph structure and monadic second order logic</subfield><subfield code="b">a language-theoretic approach</subfield><subfield code="c">Bruno Courcelle ; Joost Engelfriet</subfield></datafield><datafield tag="246" ind1="1" ind2=" "><subfield code="a">Graph structure and monadic second-order logic</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 728 Seiten</subfield><subfield code="b">Diagramme</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Encyclopedia of mathematics and its applications</subfield><subfield code="v">138</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [691] - 710</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graphentheorie</subfield><subfield code="0">(DE-588)4113782-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Endliche Modelltheorie</subfield><subfield code="0">(DE-588)4615978-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Graph theory.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Finite model theory.</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Graphentheorie</subfield><subfield code="0">(DE-588)4113782-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Endliche Modelltheorie</subfield><subfield code="0">(DE-588)4615978-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Engelfriet, Joost</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1025656245</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Encyclopedia of mathematics and its applications</subfield><subfield code="v">138</subfield><subfield code="w">(DE-604)BV000903719</subfield><subfield code="9">138</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025290117&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025290117</subfield></datafield></record></collection> |
| id | DE-604.BV040442308 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-12T17:00:44Z |
| institution | BVB |
| isbn | 9780521898331 0521898331 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025290117 |
| oclc_num | 801063361 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-11 DE-739 |
| owner_facet | DE-473 DE-BY-UBG DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-11 DE-739 |
| physical | XIV, 728 Seiten Diagramme |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series | Encyclopedia of mathematics and its applications |
| series2 | Encyclopedia of mathematics and its applications |
| spelling | Courcelle, Bruno Verfasser (DE-588)1025653947 aut Graph structure and monadic second order logic a language-theoretic approach Bruno Courcelle ; Joost Engelfriet Graph structure and monadic second-order logic 1. publ. Cambridge [u.a.] Cambridge Univ. Press 2012 XIV, 728 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Encyclopedia of mathematics and its applications 138 Literaturverz. S. [691] - 710 Graphentheorie (DE-588)4113782-6 gnd rswk-swf Endliche Modelltheorie (DE-588)4615978-2 gnd rswk-swf Graph theory. Finite model theory. Graphentheorie (DE-588)4113782-6 s Endliche Modelltheorie (DE-588)4615978-2 s DE-604 Engelfriet, Joost Verfasser (DE-588)1025656245 aut Encyclopedia of mathematics and its applications 138 (DE-604)BV000903719 138 Digitalisierung UB Bamberg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025290117&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Courcelle, Bruno Engelfriet, Joost Graph structure and monadic second order logic a language-theoretic approach Encyclopedia of mathematics and its applications Graphentheorie (DE-588)4113782-6 gnd Endliche Modelltheorie (DE-588)4615978-2 gnd |
| subject_GND | (DE-588)4113782-6 (DE-588)4615978-2 |
| title | Graph structure and monadic second order logic a language-theoretic approach |
| title_alt | Graph structure and monadic second-order logic |
| title_auth | Graph structure and monadic second order logic a language-theoretic approach |
| title_exact_search | Graph structure and monadic second order logic a language-theoretic approach |
| title_full | Graph structure and monadic second order logic a language-theoretic approach Bruno Courcelle ; Joost Engelfriet |
| title_fullStr | Graph structure and monadic second order logic a language-theoretic approach Bruno Courcelle ; Joost Engelfriet |
| title_full_unstemmed | Graph structure and monadic second order logic a language-theoretic approach Bruno Courcelle ; Joost Engelfriet |
| title_short | Graph structure and monadic second order logic |
| title_sort | graph structure and monadic second order logic a language theoretic approach |
| title_sub | a language-theoretic approach |
| topic | Graphentheorie (DE-588)4113782-6 gnd Endliche Modelltheorie (DE-588)4615978-2 gnd |
| topic_facet | Graphentheorie Endliche Modelltheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025290117&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000903719 |
| work_keys_str_mv | AT courcellebruno graphstructureandmonadicsecondorderlogicalanguagetheoreticapproach AT engelfrietjoost graphstructureandmonadicsecondorderlogicalanguagetheoreticapproach AT courcellebruno graphstructureandmonadicsecondorderlogic AT engelfrietjoost graphstructureandmonadicsecondorderlogic |