Verfügbarkeit: Descriptional complexity of formal systems

Descriptional complexity of formal systems: 15th international workshop, DCFS 2013, London, Canada, July 22 - 25, 2013 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 8031
Schlagworte:	Beschreibungskomplexität Konferenzschrift > 2013 > London Ontario
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	X, 288 S. 235 mm x 155 mm
ISBN:	3642393098 9783642393099

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV041205976
003	DE-604
005	20140313
007	t\|
008	130806s2013 gw \|\|\|\| 10\|\|\| eng d
015			\|a 13,N24 \|2 dnb
016	7		\|a 1035564319 \|2 DE-101
020			\|a 3642393098 \|9 3-642-39309-8
020			\|a 9783642393099 \|c Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. EUR 59.40 (AT) (freier Pr.), ca. sfr 72.00 (freier Pr.) \|9 978-3-642-39309-9
024	3		\|a 9783642393099
028	5	2	\|a Best.-Nr.: 86291002
035			\|a (OCoLC)876875307
035			\|a (DE-599)DNB1035564319
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-83 \|a DE-91G
082	0		\|a 004.015113 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 550f \|2 stub
245	1	0	\|a Descriptional complexity of formal systems \|b 15th international workshop, DCFS 2013, London, Canada, July 22 - 25, 2013 ; proceedings \|c Helmut Jürgensen ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a X, 288 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 8031
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 2013 \|z London Ontario \|2 gnd-content
689	0	0	\|a Beschreibungskomplexität \|0 (DE-588)4797485-0 \|D s
689	0		\|5 DE-604
700	1		\|a Jürgensen, Helmut \|d 1942- \|e Sonstige \|0 (DE-588)121130584 \|4 oth
711	2		\|a DCFS \|n 15 \|d 2013 \|c London, Ontario \|j Sonstige \|0 (DE-588)1037989619 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-39310-5
830		0	\|a Lecture notes in computer science \|v 8031 \|w (DE-604)BV000000607 \|9 8031
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4356881&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=026180855&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026180855

Datensatz im Suchindex

_version_	1820875470239956992
adam_text	TABLE OF CONTENTS BLUM STATIC COMPLEXITY AND ENCODING SPACES 1 CEZAR CAMPEANU MILLSTREAM SYSTEMS AND GRAPH TRANSFORMATION FOR COMPLEX LINGUISTIC MODELS 14 FRANK DREWES CAN CHIMPS GO IT ALONE? 17 PIERRE MCKENZIE INVERTIBLE TRANSDUCTIONS AND ITERATION 18 KLAUS SUTNER UNIVERSAL WITNESSES FOR STATE COMPLEXITY OF BOOLEAN OPERATIONS AND CONCATENATION COMBINED WITH STAR 30 JANUSZ BRZOZOWSKI AND DAVID LIU SEARCHING FOR TRACES OF COMMUNICATION IN SZILARD LANGUAGES OF PARALLEL COMMUNICATING GRAMMAR SYSTEMS - COMPLEXITY VIEWS 42 LILIANA COJOCARU AND ERKKI MAKINEN STATE COMPLEXITY OF BASIC OPERATIONS ON NON-RETURNING REGULAR LANGUAGES 54 HAE-SUNG EOM, YO-SUB HAN, AND GALINA JIRASKOVA STATE COMPLEXITY OF SUBTREE-FREE REGULAR TREE LANGUAGES 66 HAE-SUNG EOM, YO-SUB HAN, AND SANG-KI KO STATE COMPLEXITY OF FC-UNION AND K- INTERSECTION FOR PREFIX-FREE REGULAR LANGUAGES 78 HAE-SUNG EOM, YO-SUB HAN, AND KAI SALOMAA A DIRECT CONSTRUCTION OF FINITE STATE AUTOMATA FOR PUSHDOWN STORE LANGUAGES 90 VILIAM GEFFERT, ANDREAS MALCHER, KATJA MECKEL, CARLO MEREGHETTI, AND BEATRICE PALANO NONDETERMINISTIC STATE COMPLEXITY OF PROPORTIONAL REMOVALS 102 DANIEL GOC, ALEXANDROS PALIOUDAKIS, AND KAI SALOMAA NONDETERMINISTIC BIAUTOMATA AND THEIR DESCRIPTIONAL COMPLEXITY 112 MARKUS HOLZER AND SEBASTIAN JAKOBI HTTP://D-NB.INFO/1035564319 X TABLE OF CONTENTS QUEUE AUTOMATA OF CONSTANT LENGTH 124 SEBASTIAN JAKOBI, KATJA MECKEL, CARLO MEREGHETTI, AND BEATRICE PALANO ON THE STATE COMPLEXITY OF THE REVERSE OF 1Z- AND J7-TRIVIAL REGULAR LANGUAGES 136 GALINA JIRASKOVA AND TOMAS MASOPUST SIZE OF UNARY ONE-WAY MULTI-HEAD FINITE AUTOMATA 148 MARTIN KUTRIB, ANDREAS MALCHER, AND MATTHIAS WENDLANDT SYNTACTIC COMPLEXITY OF 1Z- AND ^-TRIVIAL REGULAR LANGUAGES 160 JANUSZ BRZOZOWSKI AND BAIYU LI SOPHISTICATION AS RANDOMNESS DEFICIENCY 172 FRANCISCO MOTA, SCOTT AARONSON, LUIS ANTUNES, AND ANDRE SOUTO SHORTEST REPETITION-FREE WORDS ACCEPTED BY AUTOMATA 182 HAMOON MOUSAVI AND JEFFREY SHALLIT A CHARACTERISATION OF NL/POLY VIA NONDETERMINISTIC FINITE AUTOMATA 194 ROB MYERS AND HENNING URBAT IMPROVED NORMAL FORM FOR GRAMMARS WITH ONE-SIDED CONTEXTS 205 ALEXANDER OKHOTIN COMPARISONS BETWEEN MEASURES OF NONDETERMINISM ON FINITE AUTOMATA 217 ALEXANDROS PALIOUDAKIS, KAI SALOMAA, AND SELIM G. AKL FINITE NONDETERMINISM VS. DFAS WITH MULTIPLE INITIAL STATES 229 ALEXANDROS PALIOUDAKIS, KAI SALOMAA, AND SELIM G. AKL THE POWER OF CENTRALIZED PC SYSTEMS OF PUSHDOWN AUTOMATA 241 HOLGER PETERSEN LIMITED AUTOMATA AND REGULAR LANGUAGES 253 GIOVANNI PIGHIZZINI AND ANDREA PISONI REVERSAL ON REGULAR LANGUAGES AND DESCRIPTIONAL COMPLEXITY 265 JURAJ SEBEJ KLEENE STAR ON UNARY REGULAR LANGUAGES 277 KRISTINA CEVOROVA AUTHOR INDEX 289
any_adam_object	1
author_GND	(DE-588)121130584
building	Verbundindex
bvnumber	BV041205976
classification_rvk	SS 4800
classification_tum	DAT 550f
ctrlnum	(OCoLC)876875307 (DE-599)DNB1035564319
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">BV041205976</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140313</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">130806s2013 gw \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,N24</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1035564319</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642393098</subfield><subfield code="9">3-642-39309-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642393099</subfield><subfield code="c">Pb. : ca. EUR 57.78 (DE) (freier Pr.), ca. EUR 59.40 (AT) (freier Pr.), ca. sfr 72.00 (freier Pr.)</subfield><subfield code="9">978-3-642-39309-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642393099</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86291002</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)876875307</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1035564319</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</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">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">15th international workshop, DCFS 2013, London, Canada, July 22 - 25, 2013 ; proceedings</subfield><subfield code="c">Helmut Jürgensen ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 288 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">8031</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">2013</subfield><subfield code="z">London Ontario</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">Jürgensen, Helmut</subfield><subfield code="d">1942-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)121130584</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DCFS</subfield><subfield code="n">15</subfield><subfield code="d">2013</subfield><subfield code="c">London, Ontario</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1037989619</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="z">978-3-642-39310-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8031</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">8031</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=4356881&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=026180855&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-026180855</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 London Ontario gnd-content
genre_facet	Konferenzschrift 2013 London Ontario
id	DE-604.BV041205976
illustrated	Not Illustrated
indexdate	2025-01-10T15:16:09Z
institution	BVB
institution_GND	(DE-588)1037989619
isbn	3642393098 9783642393099
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026180855
oclc_num	876875307
open_access_boolean
owner	DE-83 DE-91G DE-BY-TUM
owner_facet	DE-83 DE-91G DE-BY-TUM
physical	X, 288 S. 235 mm x 155 mm
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Descriptional complexity of formal systems 15th international workshop, DCFS 2013, London, Canada, July 22 - 25, 2013 ; proceedings Helmut Jürgensen ... (eds.) Berlin [u.a.] Springer 2013 X, 288 S. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 8031 Beschreibungskomplexität (DE-588)4797485-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 London Ontario gnd-content Beschreibungskomplexität (DE-588)4797485-0 s DE-604 Jürgensen, Helmut 1942- Sonstige (DE-588)121130584 oth DCFS 15 2013 London, Ontario Sonstige (DE-588)1037989619 oth Erscheint auch als Online-Ausgabe 978-3-642-39310-5 Lecture notes in computer science 8031 (DE-604)BV000000607 8031 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4356881&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=026180855&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Descriptional complexity of formal systems 15th international workshop, DCFS 2013, London, Canada, July 22 - 25, 2013 ; 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 15th international workshop, DCFS 2013, London, Canada, July 22 - 25, 2013 ; proceedings
title_auth	Descriptional complexity of formal systems 15th international workshop, DCFS 2013, London, Canada, July 22 - 25, 2013 ; proceedings
title_exact_search	Descriptional complexity of formal systems 15th international workshop, DCFS 2013, London, Canada, July 22 - 25, 2013 ; proceedings
title_full	Descriptional complexity of formal systems 15th international workshop, DCFS 2013, London, Canada, July 22 - 25, 2013 ; proceedings Helmut Jürgensen ... (eds.)
title_fullStr	Descriptional complexity of formal systems 15th international workshop, DCFS 2013, London, Canada, July 22 - 25, 2013 ; proceedings Helmut Jürgensen ... (eds.)
title_full_unstemmed	Descriptional complexity of formal systems 15th international workshop, DCFS 2013, London, Canada, July 22 - 25, 2013 ; proceedings Helmut Jürgensen ... (eds.)
title_short	Descriptional complexity of formal systems
title_sort	descriptional complexity of formal systems 15th international workshop dcfs 2013 london canada july 22 25 2013 proceedings
title_sub	15th international workshop, DCFS 2013, London, Canada, July 22 - 25, 2013 ; proceedings
topic	Beschreibungskomplexität (DE-588)4797485-0 gnd
topic_facet	Beschreibungskomplexität Konferenzschrift 2013 London Ontario
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4356881&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=026180855&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT jurgensenhelmut descriptionalcomplexityofformalsystems15thinternationalworkshopdcfs2013londoncanadajuly22252013proceedings AT dcfslondonontario descriptionalcomplexityofformalsystems15thinternationalworkshopdcfs2013londoncanadajuly22252013proceedings

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