Eintrag weiter verarbeiten
Online-Ressource

Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Gespeichert in:

Personen und Körperschaften: Abdulla, Parosh Aziz (VerfasserIn), Potapov, Igor (HerausgeberIn)
Titel: Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings/ edited by Parosh Aziz Abdulla, Igor Potapov
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2013
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 8169
Schlagwörter:
Computer software
Logic design
Computer Science
Computer science
Software engineering
Machine theory.
Compilers (Computer programs).
Algorithms.
Konferenzschrift > 2013 > Uppsala
Konferenzschrift
Druckausg.: Reachability problems, Heidelberg : Springer, 2013, XII, 221 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 06195cam a22012132 4500
001 0-1653026235
003 DE-627
005 20240122104845.0
007 cr uuu---uuuuu
008 131022s2013 gw |||||o 00| ||eng c
020 |a 9783642410369  |9 978-3-642-41036-9 
024 7 |a 10.1007/978-3-642-41036-9  |2 doi 
035 |a (DE-627)1653026235 
035 |a (DE-576)39456183X 
035 |a (DE-599)BSZ39456183X 
035 |a (OCoLC)861540734 
035 |a (ZBM)1291.68010 
035 |a (ZBM)1291.68010 
035 |a (DE-He213)978-3-642-41036-9 
035 |a (EBP)040551407 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE  |c XA-DE-BE 
050 0 |a QA76.9.L63  |a QA76.5913  |a QA76.63 
050 0 |a QA76.9.L63 
050 0 |a QA76.5913 
050 0 |a QA76.63 
072 7 |a UM  |2 bicssc 
072 7 |a UYF  |2 bicssc 
072 7 |a COM036000  |2 bisacsh 
072 7 |a COM051000  |2 bisacsh 
072 7 |a UYA  |2 bicssc 
084 |a SS 4800  |q SEPA  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a *68-06  |2 msc 
084 |a 68Qxx  |2 msc 
084 |a 00B25  |2 msc 
084 |a 54.10  |2 bkl 
100 1 |a Abdulla, Parosh Aziz  |4 aut 
245 1 0 |a Reachability Problems  |b 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings  |c edited by Parosh Aziz Abdulla, Igor Potapov 
264 1 |a Berlin, Heidelberg  |b Springer  |c 2013 
300 |a Online-Ressource (XII, 223 p. 60 illus, online resource) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 8169 
490 0 |a SpringerLink  |a Bücher 
500 |a Literaturangaben 
505 8 0 |a Reachability for finite state systemsRewriting 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. 
520 |a This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013. The 19 revised papers (The 14 revised papers were carefully reviewed and selected from 24 submissions in addition to 5 invited talks) were carefully reviewed and selected from 24 submissions. Topics of interest include reachability for finite 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 
650 0 |a Computer software 
650 0 |a Logic design 
650 0 |a Computer Science 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Computer software 
650 0 |a Logic design 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Machine theory. 
650 0 |a Compilers (Computer programs). 
650 0 |a Algorithms. 
655 7 |a Konferenzschrift  |y 2013  |z Uppsala  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4334087-8  |0 (DE-627)148293549  |0 (DE-576)211346004  |a Erreichbarkeit  |2 gnd 
689 0 1 |D s  |0 (DE-588)4411406-0  |0 (DE-627)211466646  |0 (DE-576)212167677  |a Erreichbarkeitsmenge  |2 gnd 
689 0 |5 DE-101 
700 1 |a Potapov, Igor  |e Hrsg.  |4 edt 
776 1 |z 9783642410352 
776 0 8 |i Druckausg.  |t Reachability problems  |d Heidelberg : Springer, 2013  |h XII, 221 S.  |w (DE-627)777849038  |w (DE-576)408154934  |z 9783642410352  |z 3642410359 
830 0 |a Lecture notes in computer science  |v 8169  |9 8169  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349  |7 ns 
856 4 0 |u https://doi.org/10.1007/978-3-642-41036-9  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-41036-9  |x Resolving-System  |z lizenzpflichtig  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz39456183xcov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20150316113330  |3 Cover 
856 4 2 |u https://zbmath.org/?q=an:1291.68010  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
889 |w (DE-627)769196888 
912 |a ZDB-2-LNC  |b 2013 
912 |a ZDB-2-SCS  |b 2013 
912 |a ZDB-2-SEB 
912 |a ZDB-2-SXCS  |b 2013 
912 |a ZDB-2-SEB  |b 2013 
935 |h GBV  |i ExPruef 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 b k |a 54.10  |j Theoretische Informatik  |q SEPA  |0 (DE-627)106418815 
951 |a BO 
950 |a 可达到性 
950 |a 可达性 
950 |a 可達到性 
950 |a 可達性 
950 |a Доступность 
950 |a Attainable set 
950 |a Reachable set 
950 |a Kontrollsystem 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-41036-9  |9 DE-14 
852 |a DE-14  |x epn:336216871X  |z 2013-10-22T08:12:08Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-41036-9  |9 DE-15 
852 |a DE-15  |x epn:3362168744  |z 2013-10-22T08:12:08Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-41036-9  |9 DE-Ch1 
852 |a DE-Ch1  |x epn:3362168787  |z 2013-10-22T08:12:08Z 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-41036-9  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |x epn:3362168817  |z 2013-10-22T08:12:08Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-41036-9  |9 DE-520 
852 |a DE-520  |x epn:3362168841  |z 2013-10-22T08:12:08Z 
980 |a 1653026235  |b 0  |k 1653026235  |o 39456183X 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Reachability+Problems%3A+7th+International+Workshop%2C+RP+2013%2C+Uppsala%2C+Sweden%2C+September+24-26%2C+2013+Proceedings&rft.date=2013&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Reachability+Problems%3A+7th+International+Workshop%2C+RP+2013%2C+Uppsala%2C+Sweden%2C+September+24-26%2C+2013+Proceedings&rft.series=Lecture+notes+in+computer+science%2C+8169&rft.au=Abdulla%2C+Parosh+Aziz&rft.pub=Springer&rft.edition=&rft.isbn=3642410367
SOLR
_version_ 1792258626551808000
access_facet Electronic Resources
author Abdulla, Parosh Aziz
author2 Potapov, Igor
author2_role edt
author2_variant i p ip
author_facet Abdulla, Parosh Aziz, Potapov, Igor
author_role aut
author_sort Abdulla, Parosh Aziz
author_variant p a a pa paa
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.9.L63 QA76.5913 QA76.63, QA76.9.L63, QA76.5913, QA76.63
callnumber-search QA76.9.L63 QA76.5913 QA76.63, QA76.9.L63, QA76.5913, QA76.63
callnumber-sort QA 276.9 L63 Q A76 45913 Q A76 263
callnumber-subject QA - Mathematics
collection ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
contents Reachability for finite state systemsRewriting 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., This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013. The 19 revised papers (The 14 revised papers were carefully reviewed and selected from 24 submissions in addition to 5 invited talks) were carefully reviewed and selected from 24 submissions. Topics of interest include reachability for finite 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
ctrlnum (DE-627)1653026235, (DE-576)39456183X, (DE-599)BSZ39456183X, (OCoLC)861540734, (ZBM)1291.68010, (DE-He213)978-3-642-41036-9, (EBP)040551407
de15_date 2013-10-22T08:12:08Z
dech1_date 2013-10-22T08:12:08Z
doi_str_mv 10.1007/978-3-642-41036-9
era_facet 2013
facet_912a ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 Erreichbarkeit, Erreichbarkeitsmenge
finc_class_facet Informatik, Mathematik
fincclass_txtF_mv science-computerscience
footnote Literaturangaben
format eBook, ConferenceProceedings
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
genre Konferenzschrift 2013 Uppsala (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet Konferenzschrift
geogr_code not assigned
geogr_code_person not assigned
geographic_facet Uppsala
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 8169
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-1653026235
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer, 2013
imprint_str_mv Berlin, Heidelberg: Springer, 2013
institution DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id 0-1653026235
is_hierarchy_title Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
isbn 9783642410369
isbn_isn_mv 9783642410352, 3642410359
issn_isn_mv 1611-3349
kxp_id_str 1653026235
language English
last_indexed 2024-02-29T18:23:39.152Z
local_heading_facet_dezwi2 Computer software, Logic design, Computer Science, Computer science, Software engineering, Machine theory., Compilers (Computer programs)., Algorithms., Erreichbarkeit, Erreichbarkeitsmenge
marc024a_ct_mv 10.1007/978-3-642-41036-9
match_str abdulla2013reachabilityproblems7thinternationalworkshoprp2013uppsalaswedenseptember24262013proceedings
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)8169
oclc_num 861540734
physical Online-Ressource (XII, 223 p. 60 illus, online resource)
publishDate 2013
publishDateSort 2013
publishPlace Berlin, Heidelberg
publisher Springer
record_format marcfinc
record_id 39456183X
recordtype marcfinc
rsn_id_str_mv (DE-15)3260530
rvk_facet SS 4800
rvk_label Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series Lecture notes in computer science, 8169
series2 Lecture Notes in Computer Science ; 8169, SpringerLink ; Bücher
source_id 0
spelling Abdulla, Parosh Aziz aut, Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings edited by Parosh Aziz Abdulla, Igor Potapov, Berlin, Heidelberg Springer 2013, Online-Ressource (XII, 223 p. 60 illus, online resource), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 8169, SpringerLink Bücher, Literaturangaben, Reachability for finite state systemsRewriting 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., This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013. The 19 revised papers (The 14 revised papers were carefully reviewed and selected from 24 submissions in addition to 5 invited talks) were carefully reviewed and selected from 24 submissions. Topics of interest include reachability for finite 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, Computer software, Logic design, Computer Science, Computer science, Software engineering, Machine theory., Compilers (Computer programs)., Algorithms., Konferenzschrift 2013 Uppsala (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4334087-8 (DE-627)148293549 (DE-576)211346004 Erreichbarkeit gnd, s (DE-588)4411406-0 (DE-627)211466646 (DE-576)212167677 Erreichbarkeitsmenge gnd, DE-101, Potapov, Igor Hrsg. edt, 9783642410352, Druckausg. Reachability problems Heidelberg : Springer, 2013 XII, 221 S. (DE-627)777849038 (DE-576)408154934 9783642410352 3642410359, Lecture notes in computer science 8169 8169 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-41036-9 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-41036-9 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz39456183xcov.jpg V:DE-576 X:springer image/jpeg 20150316113330 Cover, https://zbmath.org/?q=an:1291.68010 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, (DE-627)769196888, http://dx.doi.org/10.1007/978-3-642-41036-9 DE-14, DE-14 epn:336216871X 2013-10-22T08:12:08Z, http://dx.doi.org/10.1007/978-3-642-41036-9 DE-15, DE-15 epn:3362168744 2013-10-22T08:12:08Z, http://dx.doi.org/10.1007/978-3-642-41036-9 DE-Ch1, DE-Ch1 epn:3362168787 2013-10-22T08:12:08Z, http://dx.doi.org/10.1007/978-3-642-41036-9 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3362168817 2013-10-22T08:12:08Z, http://dx.doi.org/10.1007/978-3-642-41036-9 DE-520, DE-520 epn:3362168841 2013-10-22T08:12:08Z
spellingShingle Abdulla, Parosh Aziz, Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings, Lecture notes in computer science, 8169, Reachability for finite state systemsRewriting 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., This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013. The 19 revised papers (The 14 revised papers were carefully reviewed and selected from 24 submissions in addition to 5 invited talks) were carefully reviewed and selected from 24 submissions. Topics of interest include reachability for finite 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, Computer software, Logic design, Computer Science, Computer science, Software engineering, Machine theory., Compilers (Computer programs)., Algorithms., Konferenzschrift 2013 Uppsala, Konferenzschrift, Erreichbarkeit, Erreichbarkeitsmenge
swb_id_str 39456183X
title Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
title_auth Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
title_full Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings edited by Parosh Aziz Abdulla, Igor Potapov
title_fullStr Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings edited by Parosh Aziz Abdulla, Igor Potapov
title_full_unstemmed Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings edited by Parosh Aziz Abdulla, Igor Potapov
title_in_hierarchy 8169. Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings (2013)
title_short Reachability Problems
title_sort reachability problems 7th international workshop rp 2013 uppsala sweden september 24 26 2013 proceedings
title_sub 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
title_unstemmed Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
topic Computer software, Logic design, Computer Science, Computer science, Software engineering, Machine theory., Compilers (Computer programs)., Algorithms., Konferenzschrift 2013 Uppsala, Konferenzschrift, Erreichbarkeit, Erreichbarkeitsmenge
topic_facet Computer software, Logic design, Computer Science, Computer science, Software engineering, Machine theory., Compilers (Computer programs)., Algorithms., Konferenzschrift, Erreichbarkeit, Erreichbarkeitsmenge
url https://doi.org/10.1007/978-3-642-41036-9, http://dx.doi.org/10.1007/978-3-642-41036-9, https://swbplus.bsz-bw.de/bsz39456183xcov.jpg, https://zbmath.org/?q=an:1291.68010