LEADER 01698cam0-22003011i-450- 001 990004179700403321 005 20140224091056.0 035 $a000417970 035 $aFED01000417970 035 $a(Aleph)000417970FED01 035 $a000417970 100 $a19990604d1757----km-y0itay50------ba 101 2 $alat$agrc 102 $aNL 140 $aa-------------------bb0----- 200 1 $aArriani Nicomedensis Expeditionis Alexandri libri septem et historia indica gręc. et lat. cum annotationibus et indice gręco locupletissimo Georgii Raphelii. Accedunt Eclogę Photii ad Arrianum pertinentes cum Lectionibus Variantibus Dav. Hoeschelii, Summaria Librorum distincta & emendata, Index Rerum accuratissimus, nec non Tabula Geographica Expeditionis Alexandri 210 $aAmstelędami$capud Wetstenium$d1757 215 $aXLVIII, 637, [203] p., [1] c. di tav. ripieg.$cill.$d21 cm$ec. geogr. 517 1 $aExpeditionis Alexandri libri septem et historia indica gręc. et lat. cum annotationibus et indice gręco locupletissimo Georgii Raphelii 676 $a888.01$v22$zita 700 1$aArrianus,$bFlavius$f$04213 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aAQ 912 $a990004179700403321 952 $aSG 880 A/34$b2672/741$fFLFBC 959 $aFLFBC 996 $aArriani Nicomedensis Expeditionis Alexandri libri septem et historia indica gręc. et lat. cum annotationibus et indice gręco locupletissimo Georgii Raphelii. Accedunt Eclogę Photii ad Arrianum pertinentes cum Lectionibus Variantibus Dav. Hoeschelii, Summaria Librorum distincta & emendata, Index Rerum accuratissimus, nec non Tabula Geographica Expeditionis Alexandri$9484962 997 $aUNINA LEADER 00872nam0-22002771i-450- 001 990001636740403321 005 20050331132312.0 035 $a000163674 035 $aFED01000163674 035 $a(Aleph)000163674FED01 035 $a000163674 100 $a20030910d1866----km-y0itay50------ba 101 0 $aita 200 1 $aProposta di un nuovo genere di leguminose fondato sulla trigonella coerulea$fGiuseppe Antonio Pasquale 210 $aNapoli$cStamp. del Fibreno$d1866 215 $a6 p.$d30 cm 610 0 $aLeguminales 676 $a583.32 700 1$aPasquale,$bGiuseppe Antonio$f<1820-1893>$069625 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001636740403321 952 $a60 583.32 B 1$b540$fFAGBC 959 $aFAGBC 996 $aProposta di un nuovo genere di leguminose fondato sulla trigonella coerulea$9367594 997 $aUNINA LEADER 06240nam 22007335 450 001 9910484779903321 005 20251226203852.0 024 7 $a10.1007/b137735 035 $a(CKB)1000000000213088 035 $a(SSID)ssj0000317189 035 $a(PQKBManifestationID)11222220 035 $a(PQKBTitleCode)TC0000317189 035 $a(PQKBWorkID)10286455 035 $a(PQKB)10924684 035 $a(DE-He213)978-3-540-31682-4 035 $a(MiAaPQ)EBC3068348 035 $a(PPN)123095735 035 $a(BIP)12626793 035 $a(EXLCZ)991000000000213088 100 $a20100926d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDevelopments in Language Theory $e9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings /$fedited by Clelia De Felice, Antonio Restivo 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XII, 412 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3572 300 $a"9th Conference on Developments in Language Theory ... held at Mondello (Palermo, Italy)"--Pref. 311 08$aPrinted edition: 9783540265467 320 $aIncludes bibliographical references and index. 327 $aRestricted Towers of Hanoi and Morphisms -- Collapsing Words: A Progress Report -- Locally Consistent Parsing and Applications to Approximate String Comparisons -- Central Sturmian Words: Recent Developments -- Reversible Cellular Automata -- Inexpressibility Results for Regular Languages in Nonregular Settings -- Complexity of Quantum Uniform and Nonuniform Automata -- Membership and Finiteness Problems for Rational Sets of Regular Languages -- Tissue P Systems with Antiport Rules and Small Numbers of Symbols and Cells -- The Mortality Threshold for Partially Monotonic Automata -- Sturmian Words: Dynamical Systems and Derivated Words -- Schützenberger and Eilenberg Theorems for Words on Linear Orderings -- On the Membership of Invertible Diagonal Matrices -- A Kleene Theorem for Languages of Words Indexed by Linear Orderings -- Revolving-Input Finite Automata -- Some New Results on Palindromic Factors of Billiard Words -- A Note on a Result of Daurat and Nivat -- Palindromes in Sturmian Words -- Voronoi Cells of Beta-Integers -- Languages with Mismatches and an Application to Approximate Indexing -- Bidimensional Sturmian Sequences and Substitutions -- Unambiguous Morphic Images of Strings -- Complementing Two-Way Finite Automata -- On Timed Automata with Discrete Time ? Structural and Language Theoretical Characterization -- Monotone Deterministic RL-Automata Don?t Need Auxiliary Symbols -- On Hairpin-Free Words and Languages -- Adding Monotonic Counters to Automata and Transition Graphs -- Polynomial Generators of Recursively Enumerable Languages -- On Language Inequalities XK???LX -- The Power of Tree Series Transducers of Type I and II -- The Inclusion Problem for Unambiguous Rational Trace Languages -- LR Parsing for Boolean Grammars -- On Some Properties of the Language of2-Collapsing Words -- Semi-rational Sets of DAGs -- On the Frequency of Letters in Pure Binary Morphic Sequences. 330 $aDLT 2005 was the 9th Conference on Developments in Language Theory. It was intended to cover all important areas of language theory, such us gr- mars, acceptors and transducers for strings, trees, graphs, and arrays; e'cient text algorithms; algebraic theories for automata and languages; combinatorial andalgebraicpropertiesofwordsand languages;variable-lengthcodes; symbolic dynamics; decision problems; relations to complexity theory and logic; picture descriptionandanalysis;polyominoesandbidimensionalpatterns;cryptography; concurrency; and DNA and quantum computing. DLT 2005 was held at Mondello (Palermo, Italy) during July 4-8, 2005 and was sponsored by the Department of "Matematica e Applicazioni," University of Palermo, the Department of "Informatica e Applicazioni - R.M. Capocelli," UniversityofSalerno,andtheMIURProject"Formal Languages and Automata: Methods, Models and Applications." The conference was also under the auspices of EATCS. We are grateful to these organizations. Previous DLTs were held in Turku (1993), Magdeburg (1995), Thessaloniki (1997), Aachen (1999), Vienna (2001), Kyoto (2002), Szeged (2003) and Auckland (2004). Since 2001, a DLT conference takes place in every odd year in Europe, and in every even year in another continent. The Program Committee selected 29 papers from 73 submitted papers. The papers came from the following countries: Austria, Belgium, Canada, Czech - public,Finland,France,Germany,India,Italy,Portugal,Moldova,Russia,Spain, and the UK. Each submitted paper was evaluated by at least three members of theProgramCommittee,whowereoftenassistedbytheirreferees.All29selected papers are contained in this volume together with 6 invited presentations. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3572 606 $aMachine theory 606 $aComputer science 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aFormal Languages and Automata Theory 606 $aTheory of Computation 606 $aComputer Science Logic and Foundations of Programming 606 $aDiscrete Mathematics in Computer Science 615 0$aMachine theory. 615 0$aComputer science. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 14$aFormal Languages and Automata Theory. 615 24$aTheory of Computation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aDiscrete Mathematics in Computer Science. 676 $a511.3 686 $a54.72$2bcl 701 $aDe Felice$b Clelia$01760064 701 $aRestivo$b Antonio$01760065 712 12$aConference on Developments in Language Theory 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484779903321 996 $aDevelopments in language theory$94198845 997 $aUNINA