Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008935638/catalog> ?p ?o. }

• catalog abstract "DLT 2001 was the ?fth Conference on Developments in Language Theory. It was a broadly based conference covering all aspects of Language Theory: grammars and - ceptorsforstrings,graphs,arrays,etc. ;ef?cientalgorithmsforlanguages;combinatorial andalgebraicpropertiesoflanguages;decisionproblems;relationstocomplexitytheory; logic; picture description and analysis; DNA computing; cryptography; concurrency. DLT 2001 was held at Technische Universitat ¨ Wien from July 16 to July 21, 2001. The OrganizingCommitteeconsistedofRudolfFreund,WernerKuich(chairman),Christiane Nikoll, Margarethe Soukup, Friedrich Urbanek. Previous DLTs were held in Turku (1993), Magdeburg (1995), Thessalonike (1997), Aachen (1999). The Program Committee of DLT 2001 consisted of Christian Choffrut (Paris), J¨ urgen Dassow (Magdeburg), Masami Ito (Kyoto), Werner Kuich (Wien, chairman),GiancarloMauri(Milano),GheorghePaun ? (Bucuresti), ¸ GrzegorzRozenberg (Leiden), Arto Salomaa (Turku), Wolfgang Thomas (Aachen). It selected 24 papers from 64 papers submitted in response to the call for papers. These papers came from the following countries: Australia, Austria, Belgium, Brazil, Bulgaria, Canada, Czech Republic, Estonia, Finland, France, Germany, Hungary, India, Italy, Japan, Moldova, The Netherlands, Phillipines, Poland, Romania, Russia, Slovakia, Spain, United Kingdom, USA. Each submitted paper was evaluated by at least four members of the Program Committee. Together with 10 invited presentations all 24 selected papers are contained in this volume. The papers in this volume are printed according to the order of presentation at DLT 2001 and thus grouped into sessions, most of which are thematic. It is a pleasure for the editors to thank the members of the Program Committee for the evaluation of the papers, and the many referees who assisted in this process.".
• catalog contributor b12548187.
• catalog contributor b12548188.
• catalog contributor b12548189.
• catalog contributor b12548190.
• catalog created "c2002.".
• catalog date "2001".
• catalog date "c2002.".
• catalog dateCopyrighted "c2002.".
• catalog description "Automata: From Uncertainty to Quantum / C.S. Calude and E. Calude -- Elementary Theory of Ordinals with Addition and Left Translation by [omega] / C. Choffrut -- The Equational Theory of Fixed Points with Applications to Generalized Language Theory / Z. Esik -- Second-Order Logic over Strings: Regular and Non-regular Fragments / T. Eiter, G. Gottlob and T. Schwentick -- Decision Questions on Integer Matrices / T. Harju -- Some Petri Net Languages and Codes / M. Ito and Y. Kunimoch -- Words, Permutations, and Representations of Numbers / H. Prodinger -- Proof Complexity of Pigeonhole Principles / A.A. Razborov -- Words and Patterns / A. Restivo and S. Salemi -- A Short Introduction to Infinite Automata / W. Thomas.".
• catalog description "DLT 2001 was the ?fth Conference on Developments in Language Theory. It was a broadly based conference covering all aspects of Language Theory: grammars and - ceptorsforstrings,graphs,arrays,etc. ;ef?cientalgorithmsforlanguages;combinatorial andalgebraicpropertiesoflanguages;decisionproblems;relationstocomplexitytheory; logic; picture description and analysis; DNA computing; cryptography; concurrency. DLT 2001 was held at Technische Universitat ¨ Wien from July 16 to July 21, 2001. The OrganizingCommitteeconsistedofRudolfFreund,WernerKuich(chairman),Christiane Nikoll, Margarethe Soukup, Friedrich Urbanek. Previous DLTs were held in Turku (1993), Magdeburg (1995), Thessalonike (1997), Aachen (1999). The Program Committee of DLT 2001 consisted of Christian Choffrut (Paris), J¨ urgen Dassow (Magdeburg), Masami Ito (Kyoto), Werner Kuich (Wien, chairman),GiancarloMauri(Milano),GheorghePaun ? (Bucuresti), ¸ GrzegorzRozenberg (Leiden), Arto Salomaa (Turku), Wolfgang Thomas (Aachen). It selected 24 papers from 64 papers submitted in response to the call for papers. These papers came from the following countries: Australia, Austria, Belgium, Brazil, Bulgaria, Canada, Czech Republic, Estonia, Finland, France, Germany, Hungary, India, Italy, Japan, Moldova, The Netherlands, Phillipines, Poland, Romania, Russia, Slovakia, Spain, United Kingdom, USA. Each submitted paper was evaluated by at least four members of the Program Committee. Together with 10 invited presentations all 24 selected papers are contained in this volume. The papers in this volume are printed according to the order of presentation at DLT 2001 and thus grouped into sessions, most of which are thematic. It is a pleasure for the editors to thank the members of the Program Committee for the evaluation of the papers, and the many referees who assisted in this process.".
• catalog description "Includes biographical references and index.".
• catalog extent "ix, 388 p. :".
• catalog identifier "3540434534 (softcover : alk paper)".
• catalog isPartOf "Lecture notes in computer science ; 2295.".
• catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2295 Lecture note in artificial intelligence".
• catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
• catalog issued "2001".
• catalog issued "c2002.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "511.3 21".
• catalog subject "Computational complexity.".
• catalog subject "Computer science.".
• catalog subject "Formal languages Congresses.".
• catalog subject "Logic design.".
• catalog subject "QA267.3 .C63 2001".
• catalog tableOfContents "Automata: From Uncertainty to Quantum / C.S. Calude and E. Calude -- Elementary Theory of Ordinals with Addition and Left Translation by [omega] / C. Choffrut -- The Equational Theory of Fixed Points with Applications to Generalized Language Theory / Z. Esik -- Second-Order Logic over Strings: Regular and Non-regular Fragments / T. Eiter, G. Gottlob and T. Schwentick -- Decision Questions on Integer Matrices / T. Harju -- Some Petri Net Languages and Codes / M. Ito and Y. Kunimoch -- Words, Permutations, and Representations of Numbers / H. Prodinger -- Proof Complexity of Pigeonhole Principles / A.A. Razborov -- Words and Patterns / A. Restivo and S. Salemi -- A Short Introduction to Infinite Automata / W. Thomas.".
• catalog title "Developments in language theory : 5th International Conference, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papers / Werner Kuich, Grzegorz Rozenberg, Arto Salomaa (eds.).".
• catalog type "Conference proceedings. fast".
• catalog type "text".