Verfügbarkeit: Descriptional complexity of formal systems

Descriptional complexity of formal systems: 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25 - 27, 2011 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2011
Schriftenreihe:	Lecture notes in computer science 6808
Schlagworte:	Beschreibungskomplexität Konferenzschrift > 2011 > Limburg Lahn
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	X, 327 S. 235 mm x 155 mm
ISBN:	9783642225994 3642225993

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV039155308
003	DE-604
005	20111115
007	t
008	110725s2011 \|\|\|\| 10\|\|\| eng d
015			\|a 11,N25 \|2 dnb
016	7		\|a 1012892662 \|2 DE-101
020			\|a 9783642225994 \|c Pb. : EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.) \|9 978-3-642-22599-4
020			\|a 3642225993 \|c Pb. : EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.) \|9 3-642-22599-3
024	3		\|a 9783642225994
028	5	2	\|a Best.-Nr.: 80074371
035			\|a (OCoLC)844902782
035			\|a (DE-599)DNB1012892662
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-83 \|a DE-91G \|a DE-11
082	0		\|a 004.015113 \|2 22/ger
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a 004 \|2 sdnb
084			\|a DAT 550f \|2 stub
245	1	0	\|a Descriptional complexity of formal systems \|b 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25 - 27, 2011 ; proceedings \|c Markus Holzer ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2011
300			\|a X, 327 S. \|c 235 mm x 155 mm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 6808
650	0	7	\|a Beschreibungskomplexität \|0 (DE-588)4797485-0 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2011 \|z Limburg Lahn \|2 gnd-content
689	0	0	\|a Beschreibungskomplexität \|0 (DE-588)4797485-0 \|D s
689	0		\|5 DE-604
700	1		\|a Holzer, Markus \|e Sonstige \|0 (DE-588)134200810 \|4 oth
711	2		\|a DCFS \|n 13 \|d 2011 \|c Limburg a. d. Lahn \|j Sonstige \|0 (DE-588)16165563-4 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|t Descriptional Complexity of Formal Systems
830		0	\|a Lecture notes in computer science \|v 6808 \|w (DE-604)BV000000607 \|9 6808
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3843080&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=024172977&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-024172977

Datensatz im Suchindex

_version_	1805096461561495552
adam_text	IMAGE 1 TABLE OF CONTENTS INVITED PAPERS LINEAR ALGEBRA BASED BOUNDS FOR ONE-DIMENSIONAL CELLULAR AUTOMATA 1 JARKKO KARI ON RESTARTING AUTOMATA WITH WINDOW SIZE ONE 8 FRIEDRICH OTTO CONSTRUCTION AND SAT-BASED VERIFICATION OF CONTEXTUAL UNFOLDINGS 34 STEFAN SCHWOON AND CESAR RODRIGUEZ THE POWER OF DIVERSITY 43 DENIS THERIEN REGULAR PAPERS DECIDABILITY AND SHORTEST STRINGS IN FORMAL LANGUAGES 55 LEVENT ALPOGE, THOMAS ANG, LUKE SCHAEFFER, AND JEFFREY SHALLIT ON THE DEGREE OF TEAM COOPERATION IN CD GRAMMAR SYSTEMS 68 FERNANDO ARROYO, JUAN CASTELLANOS, AND VICTOR MITRANA THE SIZE-COST OF BOOLEAN OPERATIONS ON CONSTANT HEIGHT DETERMINISTIC PUSHDOWN AUTOMATA 80 ZUZANA BEDNDROVD, VILIAM GEFFERT, CARLO MEREGHETTI, AND BEATRICE PALANO SYNTACTIC COMPLEXITY OF PREFIX-, SUFFIX-, AND BIFIX-FREE REGULAR LANGUAGES 93 JANUSZ BRZOZOWSKI, BAIYU LI, AND YULI YE GEOMETRICAL REGULAR LANGUAGES AND LINEAR DIOPHANTINE EQUATIONS 107 JEAN-MARC CHAMPARNAUD, JEAN-PHILIPPE DUBERNARD, FRANCK GUINGNE, AND HADRIEN JEANNE ON THE NUMBER OF COMPONENTS AND CLUSTERS OF NON-RETURNING PARALLEL COMMUNICATING GRAMMAR SYSTEMS 121 ERZSEBET CSUHAJ-VARJU AND GYOERGY VASZIL ON CONTEXTUAL GRAMMARS WITH SUBREGULAR SELECTION LANGUAGES 135 JUERGEN DASSOW, FLORIN MANEA, AND BIANCA TRUTHE BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1012892662 DIGITALISIERT DURCH IMAGE 2 X TABLE OF CONTENTS REMARKS ON SEPARATING WORDS 147 ERIK D. DEMAINE, SARAH EISENSTAT, JEFFREY SHALLIT, AND DAVID A. WILSON STATE COMPLEXITY OF FOUR COMBINED OPERATIONS COMPOSED OF UNION, INTERSECTION, STAR AND REVERSAL 158 YUAN GAO AND SHENG YU FC-LOCAL INTERNAL CONTEXTUAL GRAMMARS 172 RADU GRAMATOVICI AND FLORIN MANEA ON SYNCHRONIZED MULTITAPE AND MULTIHEAD AUTOMATA 184 OSCAR H. IBARRA AND NICHOLAS Q. TRAN STATE COMPLEXITY OF PROJECTED LANGUAGES 198 GALINA JIRDSKOVD AND TOMAS MASOPUST NOTE ON REVERSAL OF BINARY REGULAR LANGUAGES 212 GALINA JIRDSKOVD AND JURAJ SEBEJ STATE COMPLEXITY OF OPERATIONS ON TWO-WAY DETERMINISTIC FINITE AUTOMATA OVER A UNARY ALPHABET 222 MICHAL KUNC AND ALEXANDER OKHOTIN KLEENE THEOREMS FOR PRODUCT SYSTEMS 235 KAMAL LODAYA, MADHAVAN MUKUND, AND RAMCHANDRA PHAWADE DESCRIPTIONAL COMPLEXITY OF TWO-WAY PUSHDOWN AUTOMATA WITH RESTRICTED HEAD REVERSALS 248 ANDREAS MATCHER, CARLO MEREGHETTI, AND BEATRICE PALANO STATE TRADE-OFFS IN UNRANKED TREE AUTOMATA 261 XIAOXUE PIAO AND KAI SALOMAA A E% U 11% LOWER BOUND USING MOBILE MEMBRANES 275 SHANKARA NARAYANAN KRISHNA AND GABRIEL CIOBANU LANGUAGE CLASSES GENERATED BY TREE CONTROLLED GRAMMARS WITH BOUNDED NONTERMINAL COMPLEXITY 289 SHERZOD TURAEV, JUERGEN DASSOW, AND MOHD HASAN SELAMAT TRANSITION FUNCTION COMPLEXITY OF FINITE AUTOMATA 301 MARIS VALDATS COMPLEXITY OF NONDETERMINISTIC MULTITAPE COMPUTATIONS BASED ON CROSSING SEQUENCES 314 JIFI WIEDERMANN AUTHOR INDEX 329
any_adam_object	1
author_GND	(DE-588)134200810
building	Verbundindex
bvnumber	BV039155308
classification_rvk	SS 4800
classification_tum	DAT 550f
ctrlnum	(OCoLC)844902782 (DE-599)DNB1012892662
dewey-full	004.015113
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.015113
dewey-search	004.015113
dewey-sort	14.015113
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
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">BV039155308</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111115</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110725s2011 \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N25</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1012892662</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642225994</subfield><subfield code="c">Pb. : EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.)</subfield><subfield code="9">978-3-642-22599-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642225993</subfield><subfield code="c">Pb. : EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.)</subfield><subfield code="9">3-642-22599-3</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642225994</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80074371</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844902782</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1012892662</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-83</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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">DAT 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Descriptional complexity of formal systems</subfield><subfield code="b">13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25 - 27, 2011 ; proceedings</subfield><subfield code="c">Markus Holzer ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 327 S.</subfield><subfield code="c">235 mm x 155 mm</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">6808</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beschreibungskomplexität</subfield><subfield code="0">(DE-588)4797485-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">2011</subfield><subfield code="z">Limburg Lahn</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Beschreibungskomplexität</subfield><subfield code="0">(DE-588)4797485-0</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">Holzer, Markus</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)134200810</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DCFS</subfield><subfield code="n">13</subfield><subfield code="d">2011</subfield><subfield code="c">Limburg a. d. Lahn</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16165563-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Descriptional Complexity of Formal Systems</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6808</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6808</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=3843080&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=024172977&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-024172977</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2011 Limburg Lahn gnd-content
genre_facet	Konferenzschrift 2011 Limburg Lahn
id	DE-604.BV039155308
illustrated	Not Illustrated
indexdate	2024-07-20T11:15:33Z
institution	BVB
institution_GND	(DE-588)16165563-4
isbn	9783642225994 3642225993
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024172977
oclc_num	844902782
open_access_boolean
owner	DE-706 DE-83 DE-91G DE-BY-TUM DE-11
owner_facet	DE-706 DE-83 DE-91G DE-BY-TUM DE-11
physical	X, 327 S. 235 mm x 155 mm
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Descriptional complexity of formal systems 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25 - 27, 2011 ; proceedings Markus Holzer ... (eds.) Berlin [u.a.] Springer 2011 X, 327 S. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6808 Beschreibungskomplexität (DE-588)4797485-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Limburg Lahn gnd-content Beschreibungskomplexität (DE-588)4797485-0 s DE-604 Holzer, Markus Sonstige (DE-588)134200810 oth DCFS 13 2011 Limburg a. d. Lahn Sonstige (DE-588)16165563-4 oth Erscheint auch als Online-Ausgabe Descriptional Complexity of Formal Systems Lecture notes in computer science 6808 (DE-604)BV000000607 6808 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3843080&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=024172977&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Descriptional complexity of formal systems 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25 - 27, 2011 ; proceedings Lecture notes in computer science Beschreibungskomplexität (DE-588)4797485-0 gnd
subject_GND	(DE-588)4797485-0 (DE-588)1071861417
title	Descriptional complexity of formal systems 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25 - 27, 2011 ; proceedings
title_auth	Descriptional complexity of formal systems 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25 - 27, 2011 ; proceedings
title_exact_search	Descriptional complexity of formal systems 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25 - 27, 2011 ; proceedings
title_full	Descriptional complexity of formal systems 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25 - 27, 2011 ; proceedings Markus Holzer ... (eds.)
title_fullStr	Descriptional complexity of formal systems 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25 - 27, 2011 ; proceedings Markus Holzer ... (eds.)
title_full_unstemmed	Descriptional complexity of formal systems 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25 - 27, 2011 ; proceedings Markus Holzer ... (eds.)
title_short	Descriptional complexity of formal systems
title_sort	descriptional complexity of formal systems 13th international workshop dcfs 2011 gießen limburg germany july 25 27 2011 proceedings
title_sub	13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25 - 27, 2011 ; proceedings
topic	Beschreibungskomplexität (DE-588)4797485-0 gnd
topic_facet	Beschreibungskomplexität Konferenzschrift 2011 Limburg Lahn
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3843080&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=024172977&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT holzermarkus descriptionalcomplexityofformalsystems13thinternationalworkshopdcfs2011gießenlimburggermanyjuly25272011proceedings AT dcfslimburgadlahn descriptionalcomplexityofformalsystems13thinternationalworkshopdcfs2011gießenlimburggermanyjuly25272011proceedings

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