Verfügbarkeit: Implementation and application of automata

Implementation and application of automata: 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 7982
Schlagworte:	Theoretische Informatik Automat > Automatentheorie Konferenzschrift > 2013 > Halifax Nova Scotia
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XIII, 358 S. graph. Darst.
ISBN:	9783642392733 3642392733 9783642392740

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV041208605
003	DE-604
005	20140307
007	t
008	130807s2013 gw \|\|\|\| 10\|\|\| eng d
015			\|a 13,N23 \|2 dnb
016	7		\|a 1035341905 \|2 DE-101
020			\|a 9783642392733 \|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-39273-3
020			\|a 3642392733 \|9 3-642-39273-3
020			\|a 9783642392740 \|9 978-3-642-39274-0
024	3		\|a 9783642392733
028	5	2	\|a Best.-Nr.: 86290345
035			\|a (OCoLC)861569710
035			\|a (DE-599)DNB1035341905
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-11 \|a DE-91G
082	0		\|a 004.0151 \|2 22/ger
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a 004 \|2 sdnb
084			\|a DAT 550f \|2 stub
084			\|a DAT 500f \|2 stub
245	1	0	\|a Implementation and application of automata \|b 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings \|c Stavros Konstantinidis (ed.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a XIII, 358 S. \|c 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 7982
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Automat \|g Automatentheorie \|0 (DE-588)4831958-2 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Halifax Nova Scotia \|2 gnd-content
689	0	0	\|a Automat \|g Automatentheorie \|0 (DE-588)4831958-2 \|D s
689	0		\|5 DE-604
689	1	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	1		\|5 DE-604
700	1		\|a Konstantinidis, Stavros \|e Sonstige \|0 (DE-588)103874797X \|4 oth
711	2		\|a CIAA \|n 18 \|d 2013 \|c Halifax, Nova Scotia \|j Sonstige \|0 (DE-588)1038747503 \|4 oth
830		0	\|a Lecture notes in computer science \|v 7982 \|w (DE-604)BV000000607 \|9 7982
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4352660&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=026183355&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026183355

Datensatz im Suchindex

_version_	1806325554448695296
adam_text	TABLE OF CONTENTS INVITED TALKS COVER LANGUAGES AND IMPLEMENTATIONS 1 CEZAR CAMPEANU, AUTOMATA FOR CODES 2 HELMUT JIIRGENSEN APPLICATIONS OF SYMBOLIC FINITE AUTOMATA 16 MARGUS VEANES REGULAR PAPERS COMPUTING WEIGHTS 24 HOUDA ABBAD AND ERIC LAUGEROTTE PARTIAL WORD DFAS 36 ERIC BALKANSKI, F. BLANCHET-SADRI, MATTHEW KILGORE, AND B.J. WYATT USING REGULAR GRAMMARS FOR EVENT-BASED TESTING 48 FEVZI BELLI AND MUTLU BEYAZIT TWO-PASS GREEDY REGULAR EXPRESSION PARSING 60 NIELS BJ0RN BUGGE GRATHWOHL, FRITZ HENGLEIN, LASSE NIELSEN, AND ULRIK TERP R.ASMUSSEN UNIVERSAL WITNESSES FOR STATE COMPLEXITY OF BASIC OPERATIONS COMBINED WITH REVERSAL 72 JANUSZ BRZOZOWSKI AND DAVID LIU TRIMMING VISIBLY PUSHDOWN AUTOMATA 84 MATHIEU CARALP, PIERRE-ALAIN B.EYNIER, AND JEAN-MARC TALBOT A UNIFORMIZATION THEOREM FOR NESTED WORD TO WORD TRANSDUCTIONS . 97 DMITRY CHISTIKOV AND B.UPAK MAJUMDAR TOWARDS NOMINAL CONTEXT-FREE MODEL-CHECKING 109 PIERPAOLO DEGANO, GIAN-LUIGI FERRARI, AND GIANLUCA MEZZETTI IMPLEMENTATION CONCEPTS IN VAUCANSON 2 122 AKIM DEMAILLE, ALEXANDRE DURET-LUTZ, SYLVAIN LOMBARDY, AND JACQUES SAKAROVITCH A COMPLETION ALGORITHM FOR LATTICE TREE AUTOMATA 134 THOMAS GENET, TRISTAN LE GALL, AXEL LEGAY, AND VALERIE MURAT HTTP://D-NB.INFO/1035341905 XII TABLE OF CONTENTS APPROXIMATE MATCHING BETWEEN A CONTEXT-FREE GRAMMAR AND A FINITE-STATE AUTOMATON 146 YO-SUB HAN, SANG-KI KO, AND KAI SALOMAA ON PALINDROMIC SEQUENCE AUTOMATA AND APPLICATIONS 158 MD. MAHBUBUL HASAN, A.S.M. SOHIDULL ISLAM, M. SOHEL RAHMAN, AND AYON SEN LALBLC A PROGRAM TESTING THE EQUIVALENCE OF DPDA'S 169 PATRICK HENRY AND GERAUD SENIZERGUES BRZOZOWSKI'S MINIMIZATION ALGORITHM*MORE ROBUST THAN EXPECTED (EXTENDED ABSTRACT) 181 MARKUS HOLZER AND SEBASTIAN JAKOBI SOME DECISION PROBLEMS CONCERNING NPDAS, PALINDROMES, AND DYCK LANGUAGES 193 OSCAR H. IBARRA AND BALA R.AVIKUMAR ON THE BOUNDARY OF REGULAR LANGUAGES 208 JOZEF JIRASEK AND GALINA JIRASKOVA ON THE LENGTH OF HOMING SEQUENCES FOR NONDETERMINISTIC FINITE STATE MACHINES 220 NATALIA KUSHIK AND NINA YEVTUSHENKO INPUT-DRIVEN QUEUE AUTOMATA: FINITE TURNS, DECIDABILITY, AND CLOSURE PROPERTIES 232 MARTIN KUTRIB, ANDREAS MALCHER, CARLO MEREGHETTI, BEATRICE PALANO, AND MATTHIAS WENDLANDT HYPER-OPTIMIZATION FOR DETERMINISTIC TREE AUTOMATA 244 ANDREAS MALETTI LAMBDA-CONFLUENCE IS UNDECIDABLE FOR CLEARING RESTARTING AUTOMATA 256 FRANTISEK MRAZ AND FRIEDRICH OTTO COMPARING TWO-DIMENSIONAL ONE-MARKER AUTOMATA TO SGRAFFITO AUTOMATA 268 DANIEL PRUSA, FRANTISEK MRDZ, AND FRIEDRICH OTTO DETERMINISTIC COUNTER MACHINES AND PARALLEL MATCHING COMPUTATIONS 280 STEFANO CRESPI R.EGHIZZI AND PIERIUIGI SAN PIETRO EARLY NESTED WORD AUTOMATA FOR XPATH QUERY ANSWERING ON XML STREAMS 292 DENIS DEBARBIEUX, OLIVIER GAUWIN, JOACHIM NIEHREN, TOM SEBASTIAN, AND MOHAMED ZERGAOUI TABLE OF CONTENTS XIII INVERTIBLE TRANSDUCERS, ITERATION AND COORDINATES 306 KLAUS SUTNER COMPRESSED AUTOMATA FOR DICTIONARY MATCHING 319 TOMOHIRO I, TAKAAKI NISHIMOTO, SHUNSUKE INENAGA, HIDEO BANNAI, AND MASAYUKI TAKEDA SHORT PAPERS ENHANCING APPROXIMATIONS FOR REGULAR REACHABILITY ANALYSIS 331 ALOIS DREYFUS, PIERRE-CYRILLE HEAM, AND OLGA KOUCHNARENKO GENERATING SMALL AUTOMATA AND THE CERNY CONJECTURE 340 ANDRZEJ KISIELEWICZ AND MAREK SZYKULA INCOMPLETE TRANSITION COMPLEXITY OF BASIC OPERATIONS ON FINITE LANGUAGES 349 EVA MAIA, NELMA MOREIRA, AND R.OGERIO B.EIS AUTHOR INDEX 357
any_adam_object	1
author_GND	(DE-588)103874797X
building	Verbundindex
bvnumber	BV041208605
classification_rvk	SS 4800
classification_tum	DAT 550f DAT 500f
ctrlnum	(OCoLC)861569710 (DE-599)DNB1035341905
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
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">BV041208605</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140307</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130807s2013 gw \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,N23</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1035341905</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642392733</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-39273-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642392733</subfield><subfield code="9">3-642-39273-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642392740</subfield><subfield code="9">978-3-642-39274-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642392733</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86290345</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)861569710</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1035341905</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-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</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="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">Implementation and application of automata</subfield><subfield code="b">18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings</subfield><subfield code="c">Stavros Konstantinidis (ed.)</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">XIII, 358 S.</subfield><subfield code="c">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">7982</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automat</subfield><subfield code="g">Automatentheorie</subfield><subfield code="0">(DE-588)4831958-2</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">Halifax Nova Scotia</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automat</subfield><subfield code="g">Automatentheorie</subfield><subfield code="0">(DE-588)4831958-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Konstantinidis, Stavros</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)103874797X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CIAA</subfield><subfield code="n">18</subfield><subfield code="d">2013</subfield><subfield code="c">Halifax, Nova Scotia</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1038747503</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">7982</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7982</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=4352660&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=026183355&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-026183355</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Halifax Nova Scotia gnd-content
genre_facet	Konferenzschrift 2013 Halifax Nova Scotia
id	DE-604.BV041208605
illustrated	Not Illustrated
indexdate	2024-08-03T00:51:26Z
institution	BVB
institution_GND	(DE-588)1038747503
isbn	9783642392733 3642392733 9783642392740
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026183355
oclc_num	861569710
open_access_boolean
owner	DE-83 DE-11 DE-91G DE-BY-TUM
owner_facet	DE-83 DE-11 DE-91G DE-BY-TUM
physical	XIII, 358 S. graph. Darst.
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Implementation and application of automata 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings Stavros Konstantinidis (ed.) Berlin [u.a.] Springer 2013 XIII, 358 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7982 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Automat Automatentheorie (DE-588)4831958-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Halifax Nova Scotia gnd-content Automat Automatentheorie (DE-588)4831958-2 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Konstantinidis, Stavros Sonstige (DE-588)103874797X oth CIAA 18 2013 Halifax, Nova Scotia Sonstige (DE-588)1038747503 oth Lecture notes in computer science 7982 (DE-604)BV000000607 7982 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4352660&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=026183355&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Implementation and application of automata 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Automat Automatentheorie (DE-588)4831958-2 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4831958-2 (DE-588)1071861417
title	Implementation and application of automata 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings
title_auth	Implementation and application of automata 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings
title_exact_search	Implementation and application of automata 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings
title_full	Implementation and application of automata 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings Stavros Konstantinidis (ed.)
title_fullStr	Implementation and application of automata 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings Stavros Konstantinidis (ed.)
title_full_unstemmed	Implementation and application of automata 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings Stavros Konstantinidis (ed.)
title_short	Implementation and application of automata
title_sort	implementation and application of automata 18th international conference ciaa 2013 halifax ns canada july 16 19 2013 proceedings
title_sub	18th international conference, CIAA 2013, Halifax, NS, Canada, July 16 - 19, 2013 ; proceedings
topic	Theoretische Informatik (DE-588)4196735-5 gnd Automat Automatentheorie (DE-588)4831958-2 gnd
topic_facet	Theoretische Informatik Automat Automatentheorie Konferenzschrift 2013 Halifax Nova Scotia
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4352660&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=026183355&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT konstantinidisstavros implementationandapplicationofautomata18thinternationalconferenceciaa2013halifaxnscanadajuly16192013proceedings AT ciaahalifaxnovascotia implementationandapplicationofautomata18thinternationalconferenceciaa2013halifaxnscanadajuly16192013proceedings

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