Reachability problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham
Springer International Publishing
[2015]
|
| Edition: | 1st ed. |
| Series: | Lecture Notes in Computer Science
9328 |
| Subjects: | |
| Online Access: | Volltext Abstract |
| Physical Description: | XX, 179 Seiten Illustrationen |
| ISBN: | 9783319245379 9783319245362 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-24537-9 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043209491 | ||
| 003 | DE-604 | ||
| 005 | 20200407 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319245379 |c Online |9 978-3-319-24537-9 | ||
| 020 | |a 9783319245362 |c Print |9 978-3-319-24536-2 | ||
| 024 | 7 | |a 10.1007/978-3-319-24537-9 |2 doi | |
| 035 | |a (OCoLC)929991114 | ||
| 035 | |a (DE-599)BVBBV043209491 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 500f |2 stub | ||
| 084 | |a DAT 550f |2 stub | ||
| 111 | 2 | |a RP |n 9. |d 2015 |c Warschau |j Verfasser |0 (DE-588)1077076649 |4 aut | |
| 245 | 1 | 0 | |a Reachability problems |b 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, proceedings |c edited by Mikołaj Bojańczyk, Sławomir Lasota, Igor Potapov |
| 250 | |a 1st ed. | ||
| 264 | 1 | |a Cham |b Springer International Publishing |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a XX, 179 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9328 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Zustandsgraph |0 (DE-588)4139305-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Erreichbarkeit |0 (DE-588)4334087-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Erreichbarkeitsmenge |0 (DE-588)4411406-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2015 |z Warschau |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 Bojańczyk, Mikołaj |0 (DE-588)1207878901 |4 edt | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9328 |w (DE-604)BV014880109 |9 9328 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-24537-9 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632652&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028632652 | ||
Record in the Search Index
| _version_ | 1804175708496330752 |
|---|---|
| adam_text | REACHABILITY PROBLEMS
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 9TH INTERNATIONAL
WORKSHOP ON REACHABILITY PROBLEMS, RP 2015, HELD IN WARSAW, POLAND, IN
SEPTEMBER 2015. THE 14 PAPERS PRESENTED TOGETHER WITH 6 EXTENDED
ABSTRACTS IN THIS VOLUME WERE CAREFULLY REVIEWED AND SELECTED FROM 23
SUBMISSIONS. THE PAPERS COVER A RANGE OF TOPICS IN THE FIELD OF
REACHABILITY FOR INFINITE STATE SYSTEMS; REWRITING SYSTEMS; REACHABILITY
ANALYSIS IN COUNTER/TIMED/CELLULAR/COMMUNICATING AUTOMATA; PETRI NETS;
COMPUTATIONAL ASPECTS OF SEMIGROUPS, GROUPS, AND RINGS; REACHABILITY IN
DYNAMICAL AND HYBRID SYSTEMS; FRONTIERS BETWEEN DECIDABLE AND
UNDECIDABLE REACHABILITY PROBLEMS; COMPLEXITY AND DECIDABILITY ASPECTS;
PREDICTABILITY IN ITERATIVE MAPS AND NEW COMPUTATIONAL PARADIGMS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Bojańczyk, Mikołaj |
| author2_role | edt |
| author2_variant | m b mb |
| author_GND | (DE-588)1207878901 |
| author_corporate | RP Warschau |
| author_corporate_role | aut |
| author_facet | Bojańczyk, Mikołaj RP Warschau |
| author_sort | RP Warschau |
| building | Verbundindex |
| bvnumber | BV043209491 |
| classification_tum | DAT 000 DAT 500f DAT 550f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)929991114 (DE-599)BVBBV043209491 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-24537-9 |
| edition | 1st ed. |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02779nmm a2200661zcb4500</leader><controlfield tag="001">BV043209491</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200407 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319245379</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-24537-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319245362</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-24536-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-24537-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)929991114</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209491</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-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</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="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">RP</subfield><subfield code="n">9.</subfield><subfield code="d">2015</subfield><subfield code="c">Warschau</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1077076649</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reachability problems</subfield><subfield code="b">9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, proceedings</subfield><subfield code="c">edited by Mikołaj Bojańczyk, Sławomir Lasota, Igor Potapov</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 179 Seiten</subfield><subfield code="b">Illustrationen</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="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9328</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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="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">Erreichbarkeitsmenge</subfield><subfield code="0">(DE-588)4411406-0</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">2015</subfield><subfield code="z">Warschau</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">Bojańczyk, Mikołaj</subfield><subfield code="0">(DE-588)1207878901</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9328</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9328</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-24537-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028632652&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028632652</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2015 Warschau gnd-content |
| genre_facet | Konferenzschrift 2015 Warschau |
| id | DE-604.BV043209491 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:20:35Z |
| institution | BVB |
| institution_GND | (DE-588)1077076649 |
| isbn | 9783319245379 9783319245362 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632652 |
| oclc_num | 929991114 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | XX, 179 Seiten Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | RP 9. 2015 Warschau Verfasser (DE-588)1077076649 aut Reachability problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, proceedings edited by Mikołaj Bojańczyk, Sławomir Lasota, Igor Potapov 1st ed. Cham Springer International Publishing [2015] © 2015 XX, 179 Seiten Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9328 0302-9743 Computer science Computers Computer logic Mathematical logic Computer Science Computation by Abstract Devices Logics and Meanings of Programs Mathematical Logic and Formal Languages Informatik Zustandsgraph (DE-588)4139305-3 gnd rswk-swf Erreichbarkeit (DE-588)4334087-8 gnd rswk-swf Erreichbarkeitsmenge (DE-588)4411406-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 Warschau gnd-content Erreichbarkeit (DE-588)4334087-8 s Erreichbarkeitsmenge (DE-588)4411406-0 s Zustandsgraph (DE-588)4139305-3 s DE-604 Bojańczyk, Mikołaj (DE-588)1207878901 edt Lecture Notes in Computer Science 9328 (DE-604)BV014880109 9328 https://doi.org/10.1007/978-3-319-24537-9 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632652&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Reachability problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, proceedings Lecture Notes in Computer Science Computer science Computers Computer logic Mathematical logic Computer Science Computation by Abstract Devices Logics and Meanings of Programs Mathematical Logic and Formal Languages Informatik Zustandsgraph (DE-588)4139305-3 gnd Erreichbarkeit (DE-588)4334087-8 gnd Erreichbarkeitsmenge (DE-588)4411406-0 gnd |
| subject_GND | (DE-588)4139305-3 (DE-588)4334087-8 (DE-588)4411406-0 (DE-588)1071861417 |
| title | Reachability problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, proceedings |
| title_auth | Reachability problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, proceedings |
| title_exact_search | Reachability problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, proceedings |
| title_full | Reachability problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, proceedings edited by Mikołaj Bojańczyk, Sławomir Lasota, Igor Potapov |
| title_fullStr | Reachability problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, proceedings edited by Mikołaj Bojańczyk, Sławomir Lasota, Igor Potapov |
| title_full_unstemmed | Reachability problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, proceedings edited by Mikołaj Bojańczyk, Sławomir Lasota, Igor Potapov |
| title_short | Reachability problems |
| title_sort | reachability problems 9th international workshop rp 2015 warsaw poland september 21 23 2015 proceedings |
| title_sub | 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, proceedings |
| topic | Computer science Computers Computer logic Mathematical logic Computer Science Computation by Abstract Devices Logics and Meanings of Programs Mathematical Logic and Formal Languages Informatik Zustandsgraph (DE-588)4139305-3 gnd Erreichbarkeit (DE-588)4334087-8 gnd Erreichbarkeitsmenge (DE-588)4411406-0 gnd |
| topic_facet | Computer science Computers Computer logic Mathematical logic Computer Science Computation by Abstract Devices Logics and Meanings of Programs Mathematical Logic and Formal Languages Informatik Zustandsgraph Erreichbarkeit Erreichbarkeitsmenge Konferenzschrift 2015 Warschau |
| url | https://doi.org/10.1007/978-3-319-24537-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632652&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT rpwarschau reachabilityproblems9thinternationalworkshoprp2015warsawpolandseptember21232015proceedings AT bojanczykmikołaj reachabilityproblems9thinternationalworkshoprp2015warsawpolandseptember21232015proceedings |