Holdings: Language and automata theory and applications

Language and automata theory and applications: 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings

Saved in:

Bibliographic Details
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 2010
Series:	Lecture Notes in Computer Science 6031
Subjects:	Automatentheorie Formale Sprache Konferenzschrift > 2010 > Trier
Online Access:	Inhaltstext Inhaltsverzeichnis
Physical Description:	XIV, 622 S. graph. Darst.
ISBN:	9783642130885

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV036456373
003	DE-604
005	20140318
007	t\|
008	100518s2010 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 10,N17 \|2 dnb
016	7		\|a 1001790405 \|2 DE-101
020			\|a 9783642130885 \|c PB. : EUR 84.53 (freier Pr.), sfr 123.00 (freier Pr.) \|9 978-3-642-13088-5
024	3		\|a 9783642130885
028	5	2	\|a 80014584
035			\|a (OCoLC)631697121
035			\|a (DE-599)DNB1001790405
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-11 \|a DE-91G \|a DE-83
082	0		\|a 005.131 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 550f \|2 stub
245	1	0	\|a Language and automata theory and applications \|b 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings \|c Adrian Horia Dediu ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2010
300			\|a XIV, 622 S. \|b 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 6031
650	0	7	\|a Automatentheorie \|0 (DE-588)4003953-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Sprache \|0 (DE-588)4017848-1 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2010 \|z Trier \|2 gnd-content
689	0	0	\|a Automatentheorie \|0 (DE-588)4003953-5 \|D s
689	0		\|5 DE-604
689	1	0	\|a Formale Sprache \|0 (DE-588)4017848-1 \|D s
689	1		\|5 DE-604
700	1		\|a Dediu, Adrian-Horia \|d 1961- \|e Sonstige \|0 (DE-588)1035442701 \|4 oth
711	2		\|a LATA \|n 4 \|d 2010 \|c Trier \|j Sonstige \|0 (DE-588)16066101-8 \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 6031 \|w (DE-604)BV000000607 \|9 6031
856	4	2	\|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3459090&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=020328357&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-020328357

Record in the Search Index

_version_	1820875232101007360
adam_text	TABLE OF CONTENTS INVITED TALKS COMPLEXITY IN CONVEX LANGUAGES 1 JANUSZ BRZOZOWSKI THREE LEARNABLE MODELS FOR THE DESCRIPTION OF LANGUAGE 16 ALEXANDER CLARK ARBOLOGY: TREES AND PUSHDOWN AUTOMATA 32 BOFIVOJ MELICHAR ANALYSIS OF COMMUNICATING AUTOMATA 50 ANCA MUSCHOLL REGULAR PAPERS COMPLEXITY OF THE SATISFIABILITY PROBLEM FOR A CLASS OF PROPOSITIONAL SCHEMATA 58 VINCENT ARAVANTINOS, RICARDO CAFERRA, AND NICOLAS PELTIER A SIMPLE N-DIMENSIONAL INTRINSICALLY UNIVERSAL QUANTUM CELLULAR AUTOMATON 70 PABLO ARRIGHI AND JONATHAN GRATTAGE A FAST LONGEST COMMON SUBSEQUENCE ALGORITHM FOR SIMILAR STRINGS. 82 ABDULLAH N. ARSLAN ABELIAN SQUARE-FREE PARTIAL WORDS 94 FRANCINE BLANCHET-SADRI, JANE I. KIM, ROBERT MERCA§, WILLIAM SEVERA, AND SEAN SIMMONS AVOIDABLE BINARY PATTERNS IN PARTIAL WORDS 106 FRANCINE BLANCHET-SADRI, ROBERT MERCA§, SEAN SIMMONS, AND ERIC WEISSENSTEIN EQUIVALENCE AND INCLUSION PROBLEM FOR STRONGLY UNAMBIGUOUS BUCHI AUTOMATA 118 NICOLAS BOUSQUET AND CHRISTOF LADING PREGROUP GRAMMARS WITH LETTER PROMOTIONS 130 WOJCIECH BUSZKOWSKI AND ZHE LIN A HIERARCHICAL CLASSIFICATION OF FIRST-ORDER RECURRENT NEURAL NETWORK BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1001790405 DIGITALISIERT DURCH XII TABLE OF CONTENTS CHOOSING WORD OCCURRENCES FOR THE SMALLEST GRAMMAR PROBLEM 154 RAFAEL CARRASCOSA, FRANCOIS COSTE, MATTHIAS GALLE, AND GABRIEL INFANTE-LOPEZ AGREEMENT AND CLITICIZATION IN ITALIAN: A PREGROUP ANALYSIS 166 CLAUDIA CASADIO GEOMETRICITY OF BINARY REGULAR LANGUAGES 178 JEAN-MARC CHAMPARNAUD, JEAN-PHILIPPE DUBERNARD, AND HADRIEN JEANNE ON THE EXPRESSIVE POWER OF FO[+] 190 CHRISTIAN CHOFFRUT, ANDREAS MATCHER, CARLO MEREGHETTI, AND BEATRICE PALANO FINDING CONSISTENT CATEGORIAL GRAMMARS OF BOUNDED VALUE: A PARAMETERIZED APPROACH 202 CHRISTOPHE COSTA FLORENCIO AND HENNING FERNAU OPERATOR PRECEDENCE AND THE VISIBLY PUSHDOWN PROPERTY 214 STEFANO CRESPI REGHIZZI AND DINO MANDRIOLI ON THE MAXIMAL NUMBER OF CUBIC RUNS IN A STRING 227 MAXIME CROCHEMORE, COSTAS ILIOPOULOS, MARCIN KUBICA, JAKUB RADOSZEWSKI, WOJCIECH RYTTER, AND TOMASZ WALEN ON THE HAMILTONIAN OPERATORS FOR ADIABATIC QUANTUM REDUCTION OF SAT 239 WILLIAM CRUZ-SANTOS AND GUILLERMO MORALES-LUNA PARAMETRIC METRIC INTERVAL TEMPORAL LOGIC 249 BARBARA DI GIAMPAOLO, SALVATORE LA TORRE, AND MARGHERITA NAPOLI SHORT WITNESSES AND ACCEPTING LASSOS IN W-AUTOMATA 261 RUEDIGER EHLERS GRAMMAR-BASED COMPRESSION IN A STREAMING MODEL 273 TRAVIS TABLE OF CONTENTS XIII LEARNABILITY OF AUTOMATIC CLASSES 321 SANJAY JAIN, QINGLONG LUO, AND FRANK STEPHAN UNTESTABLE PROPERTIES EXPRESSIBLE WITH FOUR FIRST-ORDER QUANTIFIERS . 333 CHARLES JORDAN AND THOMAS ZEUGMANN THE COPYING POWER OF WELL-NESTED MULTIPLE CONTEXT-FREE GRAMMARS . 344 MAKOTO KANAZAWA AND SYLVAIN SALVATI POST CORRESPONDENCE PROBLEM WITH PARTIALLY COMMUTATIVE ALPHABETS 356 BARBARA KLUNDER AND WOJCIECH RYTTER REVERSIBLE PUSHDOWN AUTOMATA 368 MARTIN KUTRIB AND ANDREAS MALCHER STRING EXTENSION LEARNING USING LATTICES 380 ANNA KASPRZIK AND TIMO KOETZING THE EQUIVALENCE PROBLEM OF DETERMINISTIC MULTITAPE FINITE AUTOMATA: A NEW PROOF OF SOLVABILITY USING A MULTIDIMENSIONAL TAPE 392 ALEXANDER A. LETICHEVSKY, ARSEN S. SHOUKOURIAN, AND SAMVEL K. SHOUKOURIAN PRIMITIVE WORDS ARE UNAVOIDABLE FOR CONTEXT-FREE LANGUAGES 403 PETER LEUPOLD MODAL NONASSOCIATIVE LAMBEK CALCULUS WITH ASSUMPTIONS: COMPLEXITY AND CONTEXT-FREENESS 414 ZHE LIN HARD COUNTING PROBLEMS FOR PARTIAL WORDS 426 FLORIN MANEA AND CAETAELIN TISEANU EXACT ANALYSIS OF HORSPOOL'S AND SUNDAY'S PATTERN MATCHING ALGORITHMS WITH PROBABILISTIC ARITHMETIC AUTOMATA 439 TOBIAS MARSCHALL AND SVEN RAHMANN SA-REP XIV TABLE OF CONTENTS USING SUMS-OF-PRODUCTS FOR NON-STANDARD REASONING 488 RAFAEL PENALOZA RESTARTING AUTOMATA WITH STRUCTURED OUTPUT AND FUNCTIONAL GENERATIVE DESCRIPTION 500 MARTIN PLATEK, FRANTISEK MRAZ, AND MARKETA LOPATKOVA A RANDOMIZED NUMERICAL ALIGNER (RNA) 512 ALBERTO POLICRITI, ALEXANDRU I. TOMESCU, AND FRANCESCO VEZZI LANGUAGE-BASED COMPARISON OF PETRI NETS WITH BLACK TOKENS, PURE NAMES AND ORDERED DATA 524 FERNANDO ROSA-VELARDO AND GIORGIO DELZANNO VERIFYING COMPLEX CONTINUOUS REAL-TIME SYSTEMS WITH COINDUCTIVE CLP(R) 536 NEDA SAEEDLOEI AND GOPAL GUPTA INCREMENTAL BUILDING IN PEPTIDE COMPUTING TO SOLVE HAMILTONIAN PATH PROBLEM 549 MUTHIAH SAKTHI BALAN AND PARAMESWARAN SESHAN VARIABLE AUTOMATA OVER INFINITE ALPHABETS 561 ORNA GRUMBERG, ORNA KUPFERMAN, AND SARAI SHEINVALD SOME MINIMALITY RESULTS ON BIRESIDUAL AND BISEPARABLE AUTOMATA 573 HELLIS TAMM EXTENDING STOCHASTIC CONTEXT-FREE GRAMMARS FOR AN APPLICATION IN BIOINFORMATICS 585 FRANK WEINBERG AND MARKUS E. NEBEL CHOMSKY-SCHUETZENBERGER-TYPE CHARACTERIZATION OF MULTIPLE CONTEXT-FREE LANGUAGES 596 RYO YOSHINAKA, YUICHI KAJI, AND HIROYUKI SEKI COMPLEXITY OF GUIDED INSERTION-DELETION IN RNA-EDITING 608 HANS ZANTEMA AUTHO
any_adam_object	1
author_GND	(DE-588)1035442701
building	Verbundindex
bvnumber	BV036456373
classification_rvk	SS 4800
classification_tum	DAT 550f
ctrlnum	(OCoLC)631697121 (DE-599)DNB1001790405
dewey-full	005.131
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.131
dewey-search	005.131
dewey-sort	15.131
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">BV036456373</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140318</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">100518s2010 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N17</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1001790405</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642130885</subfield><subfield code="c">PB. : EUR 84.53 (freier Pr.), sfr 123.00 (freier Pr.)</subfield><subfield code="9">978-3-642-13088-5</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642130885</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80014584</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)631697121</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1001790405</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-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</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">Language and automata theory and applications</subfield><subfield code="b">4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings</subfield><subfield code="c">Adrian Horia Dediu ... (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">XIV, 622 S.</subfield><subfield code="b">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">6031</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</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">Trier</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</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">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</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">Dediu, Adrian-Horia</subfield><subfield code="d">1961-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1035442701</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LATA</subfield><subfield code="n">4</subfield><subfield code="d">2010</subfield><subfield code="c">Trier</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16066101-8</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">6031</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6031</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3459090&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=020328357&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-020328357</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2010 Trier gnd-content
genre_facet	Konferenzschrift 2010 Trier
id	DE-604.BV036456373
illustrated	Illustrated
indexdate	2025-01-10T15:12:21Z
institution	BVB
institution_GND	(DE-588)16066101-8
isbn	9783642130885
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020328357
oclc_num	631697121
open_access_boolean
owner	DE-706 DE-11 DE-91G DE-BY-TUM DE-83
owner_facet	DE-706 DE-11 DE-91G DE-BY-TUM DE-83
physical	XIV, 622 S. 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	Language and automata theory and applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings Adrian Horia Dediu ... (eds.) Berlin [u.a.] Springer 2010 XIV, 622 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 6031 Automatentheorie (DE-588)4003953-5 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Trier gnd-content Automatentheorie (DE-588)4003953-5 s DE-604 Formale Sprache (DE-588)4017848-1 s Dediu, Adrian-Horia 1961- Sonstige (DE-588)1035442701 oth LATA 4 2010 Trier Sonstige (DE-588)16066101-8 oth Lecture Notes in Computer Science 6031 (DE-604)BV000000607 6031 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3459090&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=020328357&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Language and automata theory and applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings Lecture Notes in Computer Science Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd
subject_GND	(DE-588)4003953-5 (DE-588)4017848-1 (DE-588)1071861417
title	Language and automata theory and applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings
title_auth	Language and automata theory and applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings
title_exact_search	Language and automata theory and applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings
title_full	Language and automata theory and applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings Adrian Horia Dediu ... (eds.)
title_fullStr	Language and automata theory and applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings Adrian Horia Dediu ... (eds.)
title_full_unstemmed	Language and automata theory and applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings Adrian Horia Dediu ... (eds.)
title_short	Language and automata theory and applications
title_sort	language and automata theory and applications 4th international conference lata 2010 trier germany may 24 28 2010 proceedings
title_sub	4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 ; proceedings
topic	Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd
topic_facet	Automatentheorie Formale Sprache Konferenzschrift 2010 Trier
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3459090&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=020328357&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT dediuadrianhoria languageandautomatatheoryandapplications4thinternationalconferencelata2010triergermanymay24282010proceedings AT latatrier languageandautomatatheoryandapplications4thinternationalconferencelata2010triergermanymay24282010proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Description

MARC

Record in the Search Index

There is no print copy available.

Similar Items