Data Portal @ linkeddatafragments.org

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

• catalog abstract "DLT 2002 was the 6th Conference on Developments in Language Theory. The topics dealt with at the conference were: grammars and acceptors for strings, graphs, arrays, etc. ; e?cient algorithms for languages; combinatorial and al- braic properties of languages; decision problems; and relations to complexity theory, logic, picture description and analysis, DNA computing, cryptography, concurrency, quantum computing and algebraic systems. DLT2002washeldatKyotoSangyoUniversityfromSeptember18toSept- ber 21, 2002. It was the ?rst DLT conference held in Asia. The organizing c- mittee consisted of Teruo Imaoka (Matsue), B´ alazs Imreh (Szeged), Masami Ito (Kyoto, Co-chair), Yuji Kobayashi (Funabashi), Yoshiyuki Kunimochi (Fukuroi) andMasafumiToyama(Kyoto,Co-chair). TheProgramCommitteeinvitedProf. Grzegorz Rozenberg as a special guest and the conference was dedicated to his 60th birthday. Previous DLTs were held in Turku (1993), Magdeburg (1995), Thessalon´ ?ki (1997), Aachen (1999) and Vienna (2001). These will be followed by the next DLT in Szeged (2003). The Program Committee consisted of Jorge Almeida (Porto), Jean Berstel (Marne-la-Val´ ee), Christian Calude (Auckland), Zolt´ an Ful¨ ¨ op (Szeged), Julaj Hromkovic (Aachen), Masami Ito (Kyoto, Chair), Juhani Karhum¨ aki (Turku), Werner Kuich (Vienna), Alexandru Mateescu (Bucharest), Kenichi Morita (- roshima), Gheorghe P? aun (Bucharest), Antonio Restivo (Palermo), Kai Sa- maa (Kingston, Canada), Takashi Yokomori (Tokyo) and Sheng Yu (London, Canada). The program committee selected 28 papers from 63 submitted - pers. The papers came from the following countries: Australia, Austria, Canada, China,Denmark,Finland,France,Germany,Hungary,India,Italy,Japan,Czech Republic, The Netherlands, The Philippines, The Ukraine, USA, Romania, R- sia, Spain, Vietnam, and Yugoslavia.".
• catalog contributor b13004561.
• catalog contributor b13004562.
• catalog contributor b13004563.
• catalog created "c2003.".
• catalog date "2003".
• catalog date "c2003.".
• catalog dateCopyrighted "c2003.".
• catalog description "A Space Lower Bound of Two-Dimensional Probabilistic Turing Machines -- Undecidability of Weak Bisimilarity for PA-Processes -- Improved Bounds on the Number of Automata Accepting Finite Languages -- Roots and Powers of Regular Languages -- Innermost Termination of Context-Sensitive Rewriting -- A Unique Structure of Two-Generated Binary Equality Sets -- On Deterministic Finite Automata and Syntactic Monoid Size -- An Inverse Automata Algorithm for Recognizing 2-Collapsing Words -- Efficient Algorithm for Checking Multiplicity Equivalence for the Finite Z - ?*-Automata -- Some Remarks on Asynchronous Automata -- Tiling Systems over Infinite Pictures and Their Acceptance Conditions -- The Average Lengths of the Factors of the Standard Factorization of Lyndon Words -- Circular Words Avoiding Patterns -- Safety Verification for Two-Way Finite Automata with Monotonic Counters -- ".
• catalog description "An Infinite Prime Sequence Can Be Generated in Real-Time by a 1-Bit Inter-cell Communication Cellular Automaton -- On the Structure of Graphic DLI-Sets -- Finite Completion of Comma-Free Codes. Part I -- On a Family of Codes with Bounded Deciphering Delay -- Abstract Families of Graphs -- Automaton Representation of Linear Conjunctive Languages -- On-Line Odometers for Two-Sided Symbolic Dynamical Systems -- Characteristic Semigroups of Directable Automata.".
• catalog description "DLT 2002 was the 6th Conference on Developments in Language Theory. The topics dealt with at the conference were: grammars and acceptors for strings, graphs, arrays, etc. ; e?cient algorithms for languages; combinatorial and al- braic properties of languages; decision problems; and relations to complexity theory, logic, picture description and analysis, DNA computing, cryptography, concurrency, quantum computing and algebraic systems. DLT2002washeldatKyotoSangyoUniversityfromSeptember18toSept- ber 21, 2002. It was the ?rst DLT conference held in Asia. The organizing c- mittee consisted of Teruo Imaoka (Matsue), B´ alazs Imreh (Szeged), Masami Ito (Kyoto, Co-chair), Yuji Kobayashi (Funabashi), Yoshiyuki Kunimochi (Fukuroi) andMasafumiToyama(Kyoto,Co-chair). TheProgramCommitteeinvitedProf. Grzegorz Rozenberg as a special guest and the conference was dedicated to his 60th birthday. Previous DLTs were held in Turku (1993), Magdeburg (1995), Thessalon´ ?ki (1997), Aachen (1999) and Vienna (2001). These will be followed by the next DLT in Szeged (2003). The Program Committee consisted of Jorge Almeida (Porto), Jean Berstel (Marne-la-Val´ ee), Christian Calude (Auckland), Zolt´ an Ful¨ ¨ op (Szeged), Julaj Hromkovic (Aachen), Masami Ito (Kyoto, Chair), Juhani Karhum¨ aki (Turku), Werner Kuich (Vienna), Alexandru Mateescu (Bucharest), Kenichi Morita (- roshima), Gheorghe P? aun (Bucharest), Antonio Restivo (Palermo), Kai Sa- maa (Kingston, Canada), Takashi Yokomori (Tokyo) and Sheng Yu (London, Canada). The program committee selected 28 papers from 63 submitted - pers. The papers came from the following countries: Australia, Austria, Canada, China,Denmark,Finland,France,Germany,Hungary,India,Italy,Japan,Czech Republic, The Netherlands, The Philippines, The Ukraine, USA, Romania, R- sia, Spain, Vietnam, and Yugoslavia.".
• catalog description "Includes bibliographical references and index.".
• catalog description "Invited Presentations -- Computational Processes in Living Cells: Gene Assembly in Ciliates -- Experimental Quantum Computation with Molecules -- Efficient Transformations from Regular Expressions to Finite Automata -- Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators -- A Remark about Quadratic Trace Equations -- Infinite Snake Tiling Problems -- Decision Problems for Linear and Circular Splicing Systems -- Finite Automata Models of Quantized Systems: Conceptual Status and Outlook -- Automata on Linear Orderings -- Contributions -- Some Properties of Ciliate Bio-operations -- On the Descriptional Complexity of Some Variants of Lindenmayer Systems -- Carriers and Counters -- On the Separation between k-Party and (k - 1)-Party Nondeterministic Message Complexities -- Unary Language Operations and Their Nondeterministic State Complexity -- Constructing Infinite Words of Intermediate Complexity -- ".
• catalog extent "ix, 427 p.:".
• catalog identifier "3540404317 (softcover : acid-free paper)".
• catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2450".
• catalog issued "2003".
• catalog issued "c2003.".
• 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 2002".
• catalog tableOfContents "A Space Lower Bound of Two-Dimensional Probabilistic Turing Machines -- Undecidability of Weak Bisimilarity for PA-Processes -- Improved Bounds on the Number of Automata Accepting Finite Languages -- Roots and Powers of Regular Languages -- Innermost Termination of Context-Sensitive Rewriting -- A Unique Structure of Two-Generated Binary Equality Sets -- On Deterministic Finite Automata and Syntactic Monoid Size -- An Inverse Automata Algorithm for Recognizing 2-Collapsing Words -- Efficient Algorithm for Checking Multiplicity Equivalence for the Finite Z - ?*-Automata -- Some Remarks on Asynchronous Automata -- Tiling Systems over Infinite Pictures and Their Acceptance Conditions -- The Average Lengths of the Factors of the Standard Factorization of Lyndon Words -- Circular Words Avoiding Patterns -- Safety Verification for Two-Way Finite Automata with Monotonic Counters -- ".
• catalog tableOfContents "An Infinite Prime Sequence Can Be Generated in Real-Time by a 1-Bit Inter-cell Communication Cellular Automaton -- On the Structure of Graphic DLI-Sets -- Finite Completion of Comma-Free Codes. Part I -- On a Family of Codes with Bounded Deciphering Delay -- Abstract Families of Graphs -- Automaton Representation of Linear Conjunctive Languages -- On-Line Odometers for Two-Sided Symbolic Dynamical Systems -- Characteristic Semigroups of Directable Automata.".
• catalog tableOfContents "Invited Presentations -- Computational Processes in Living Cells: Gene Assembly in Ciliates -- Experimental Quantum Computation with Molecules -- Efficient Transformations from Regular Expressions to Finite Automata -- Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators -- A Remark about Quadratic Trace Equations -- Infinite Snake Tiling Problems -- Decision Problems for Linear and Circular Splicing Systems -- Finite Automata Models of Quantized Systems: Conceptual Status and Outlook -- Automata on Linear Orderings -- Contributions -- Some Properties of Ciliate Bio-operations -- On the Descriptional Complexity of Some Variants of Lindenmayer Systems -- Carriers and Counters -- On the Separation between k-Party and (k - 1)-Party Nondeterministic Message Complexities -- Unary Language Operations and Their Nondeterministic State Complexity -- Constructing Infinite Words of Intermediate Complexity -- ".
• catalog title "Developments in language theory : 6th international conference, DLT 2002, Kyoto, Japan, September 18-21, 2002 : revised papers / Masami Ito, Masafumi Toyama (eds.).".
• catalog type "text".