Verfügbarkeit: Reachability problems

Reachability problems: 4th International workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2010
Schriftenreihe:	Lecture notes in computer science 6227
Schlagworte:	Erreichbarkeitsmenge Erreichbarkeit Zustandsgraph Konferenzschrift > 2010 > Brünn
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	X, 197 S. Ill., graph. Darst.
ISBN:	9783642153488

Internformat

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

Datensatz im Suchindex

_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

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge