Reachability problems: 4th International workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2010
|
| Series: | Lecture notes in computer science
6227 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | X, 197 S. Ill., graph. Darst. |
| ISBN: | 9783642153488 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036627671 | ||
| 003 | DE-604 | ||
| 005 | 20101104 | ||
| 007 | t| | ||
| 008 | 100823s2010 xx ad|| |||| 10||| eng d | ||
| 015 | |a 10,N31 |2 dnb | ||
| 016 | 7 | |a 1005009953 |2 DE-101 | |
| 020 | |a 9783642153488 |c PB. : ca. EUR 49.22 (freier Pr.), ca. sfr 66.00 (freier Pr.) |9 978-3-642-15348-8 | ||
| 024 | 3 | |a 9783642153488 | |
| 028 | 5 | 2 | |a 80020766 |
| 035 | |a (OCoLC)845919854 | ||
| 035 | |a (DE-599)DNB1005009953 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-11 |a DE-83 | ||
| 082 | 0 | |a 511.35 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a 510 |2 sdnb | ||
| 084 | |a DAT 550f |2 stub | ||
| 084 | |a DAT 500f |2 stub | ||
| 245 | 1 | 0 | |a Reachability problems |b 4th International workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 ; proceedings |c Antonín Kučera ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a X, 197 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6227 | |
| 650 | 0 | 7 | |a Erreichbarkeitsmenge |0 (DE-588)4411406-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Erreichbarkeit |0 (DE-588)4334087-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zustandsgraph |0 (DE-588)4139305-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Brünn |2 gnd-content | |
| 689 | 0 | 0 | |a Erreichbarkeit |0 (DE-588)4334087-8 |D s |
| 689 | 0 | 1 | |a Erreichbarkeitsmenge |0 (DE-588)4411406-0 |D s |
| 689 | 0 | 2 | |a Zustandsgraph |0 (DE-588)4139305-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kučera, Antonín |d 1971- |e Sonstige |0 (DE-588)13874484X |4 oth | |
| 711 | 2 | |a RP |n 4 |d 2010 |c Brünn |j Sonstige |0 (DE-588)16172646-X |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6227 |w (DE-604)BV000000607 |9 6227 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3517504&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020547557&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020547557 | |
Record in the Search Index
| _version_ | 1820875257319260160 |
|---|---|
| adam_text |
TABLE OF CONTENTS DESCRIPTIONAL COMPLEXITY OF (UN)AMBIGUOUS FINITE STATE
MACHINES AND PUSHDOWN AUTOMATA (INVITED TALK) 1 MARKUS HOLZER AND MARIIN
KUTRIB SYMBOLIC AND COMPOSITIONAL REACHABILITY FOR TIMED AUTOMATA
(INVITED TALK) 24 KIM GULDSTRAND HARSEN TEMPORAL LOGICS OVER LINEAR TIME
DOMAINS ARE IN PSPACE (INVITED TALK) 29 ALEXANDER RABINOVICH LOSSY
COUNTER MACHINES DECIDABILITY CHEAT SHEET (INVITED TALK) 51 PHILIPPE
SCHNOEBELEN BEHAVIORAL CARTOGRAPHY OF TIMED AUTOMATA 76 ETIENNE ANDRE
AND LAURENT FRIBOURG ON THE JOINT SPECTRAL RADIUS FOR BOUNDED MATRIX
LANGUAGES 91 PAUL C. BELL, VESA HALAVA, AND MIKA HIRVENSALO
Z-REACHABILITY PROBLEM FOR GAMES ON 2-DIMENSIONAL VECTOR ADDITION
SYSTEMS WITH STATES IS IN P 104 JAKUB CHALOUPKA TOWARDS THE FRONTIER
BETWEEN DECIDABILITY AND UNDECIDABILITY FOR HYPERBOLIC CELLULAR AUTOMATA
120 MAURICE MARGENSTERN REWRITING SYSTEMS FOR REACHABILITY IN VECTOR
ADDITION SYSTEMS WITH PAIRS 133 PAULIN JACOBE DE NAUROIS AND VIRGILE
MOGBIL THE COMPLEXITY OF MODEL CHECKING FOR INTUITIONISTIC LOGICS AND
THEIR MODAL COMPANIONS 14G MARTIN MIMDHENK AND FELIX WEISS DEPTH
BOUNDEDNESS IN MULTISET REWRITING SYSTEMS WITH NAME BINDING 1G1 FERNANDO
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1005009953 DIGITALISIERT
DURCH X TABLE OF CONTENTS EFFICIENT CONSTRUCTION OF SEMILINEAR
REPRESENTATIONS OF LANGUAGES ACCEPTED BY UNARY NFA 17G ZDENEK SAWA
EFFICIENT GRAPH REACHABILITY QUERY ANSWERING USING TREE DECOMPOSITION
183 FANG WEI AUTHOR INDEX 199 |
| any_adam_object | 1 |
| author_GND | (DE-588)13874484X |
| building | Verbundindex |
| bvnumber | BV036627671 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 550f DAT 500f |
| ctrlnum | (OCoLC)845919854 (DE-599)DNB1005009953 |
| dewey-full | 511.35 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.35 |
| dewey-search | 511.35 |
| dewey-sort | 3511.35 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Conference Proceeding 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">BV036627671</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101104</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100823s2010 xx ad|| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N31</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1005009953</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642153488</subfield><subfield code="c">PB. : ca. EUR 49.22 (freier Pr.), ca. sfr 66.00 (freier Pr.)</subfield><subfield code="9">978-3-642-15348-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642153488</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80020766</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)845919854</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1005009953</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.35</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reachability problems</subfield><subfield code="b">4th International workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 ; proceedings</subfield><subfield code="c">Antonín Kučera ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 197 S.</subfield><subfield code="b">Ill., graph. Darst.</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">Lecture notes in computer science</subfield><subfield code="v">6227</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Erreichbarkeitsmenge</subfield><subfield code="0">(DE-588)4411406-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Erreichbarkeit</subfield><subfield code="0">(DE-588)4334087-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zustandsgraph</subfield><subfield code="0">(DE-588)4139305-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Brünn</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Erreichbarkeit</subfield><subfield code="0">(DE-588)4334087-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Erreichbarkeitsmenge</subfield><subfield code="0">(DE-588)4411406-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Zustandsgraph</subfield><subfield code="0">(DE-588)4139305-3</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">Kučera, Antonín</subfield><subfield code="d">1971-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)13874484X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">RP</subfield><subfield code="n">4</subfield><subfield code="d">2010</subfield><subfield code="c">Brünn</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16172646-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6227</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6227</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3517504&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=020547557&sequence=000001&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-020547557</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Brünn gnd-content |
| genre_facet | Konferenzschrift 2010 Brünn |
| id | DE-604.BV036627671 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:45Z |
| institution | BVB |
| institution_GND | (DE-588)16172646-X |
| isbn | 9783642153488 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020547557 |
| oclc_num | 845919854 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| physical | X, 197 S. Ill., graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Reachability problems 4th International workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 ; proceedings Antonín Kučera ... (eds.) Berlin [u.a.] Springer 2010 X, 197 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6227 Erreichbarkeitsmenge (DE-588)4411406-0 gnd rswk-swf Erreichbarkeit (DE-588)4334087-8 gnd rswk-swf Zustandsgraph (DE-588)4139305-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Brünn gnd-content Erreichbarkeit (DE-588)4334087-8 s Erreichbarkeitsmenge (DE-588)4411406-0 s Zustandsgraph (DE-588)4139305-3 s DE-604 Kučera, Antonín 1971- Sonstige (DE-588)13874484X oth RP 4 2010 Brünn Sonstige (DE-588)16172646-X oth Lecture notes in computer science 6227 (DE-604)BV000000607 6227 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3517504&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020547557&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Reachability problems 4th International workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 ; proceedings Lecture notes in computer science Erreichbarkeitsmenge (DE-588)4411406-0 gnd Erreichbarkeit (DE-588)4334087-8 gnd Zustandsgraph (DE-588)4139305-3 gnd |
| subject_GND | (DE-588)4411406-0 (DE-588)4334087-8 (DE-588)4139305-3 (DE-588)1071861417 |
| title | Reachability problems 4th International workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 ; proceedings |
| title_auth | Reachability problems 4th International workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 ; proceedings |
| title_exact_search | Reachability problems 4th International workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 ; proceedings |
| title_full | Reachability problems 4th International workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 ; proceedings Antonín Kučera ... (eds.) |
| title_fullStr | Reachability problems 4th International workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 ; proceedings Antonín Kučera ... (eds.) |
| title_full_unstemmed | Reachability problems 4th International workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 ; proceedings Antonín Kučera ... (eds.) |
| title_short | Reachability problems |
| title_sort | reachability problems 4th international workshop rp 2010 brno czech republic august 28 29 2010 proceedings |
| title_sub | 4th International workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 ; proceedings |
| topic | Erreichbarkeitsmenge (DE-588)4411406-0 gnd Erreichbarkeit (DE-588)4334087-8 gnd Zustandsgraph (DE-588)4139305-3 gnd |
| topic_facet | Erreichbarkeitsmenge Erreichbarkeit Zustandsgraph Konferenzschrift 2010 Brünn |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3517504&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020547557&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kuceraantonin reachabilityproblems4thinternationalworkshoprp2010brnoczechrepublicaugust28292010proceedings AT rpbrunn reachabilityproblems4thinternationalworkshoprp2010brnoczechrepublicaugust28292010proceedings |