Theory is forever :essays dedicated to Arto Salomaa on the occasion of his 70th birthday

• 其他作者: Salomaa, Arto. , Karhumäki, Juhani.
• 出版: Berlin ;New York, NY : Springer 2004.
• 稽核項: 1 online resource (x, 281 pages) :illustrations, portrait.
• 叢書名: Lecture notes in computer science ;3113
• 標題: COMPUTERS , COMPUTERS Reference. , Computer Science. , Mathematics. , Computer science , Computer science Mathematics. , Reference. , COMPUTERS Machine Theory. , HardwareGeneral. , Data Processing. , Computer Literacy. , Theoretische Informatik , Machine theory. , COMPUTERS Computer Science. , Electronic books. , COMPUTERS Hardware -- General. , COMPUTERS Computer Literacy. , Information Technology. , COMPUTERS Data Processing. , Machine Theory. , Aufsatzsammlung. , Computer science. , COMPUTERS Information Technology.
• ISBN: 3540278125 , 9783540278122
• ISBN: 3540223932 , 9783540223931
• 試查全文@TNUA:
  
• 附註: Festschrift. Includes bibliographical references and index. Duality for Three: Ternary Symmetry in Process Spaces -- Mathematical Proofs at a Crossroad? -- Rational Relations as Rational Series -- Networks of Standard Watson-Crick D0L Systems with Incomplete Information Communication -- On the Size of Components of Probabilistic Cooperating Distributed Grammar Systems -- Remarks on Sublanguages Consisting of Primitive Words of Slender Regular and Context-Free Languages -- A Semiring-Semimodule Generalization of?-Context-Free Languages -- Integer Weighted Finite Automata, Matrices, and Formal Power Series over Laurent Polynomials -- Two Models for Gene Assembly in Ciliates -- On Self-Dual Bases of the Extensions of the Binary Field -- On NFA Reductions -- Some Results on Directable Automata -- Rectangles and Squares Recognized by Two-Dimensional Automata -- Substitution on Trajectories -- Recombination Systems -- Algebraic Aspects of Parikh Matrices -- On Distributed Computing on Elliptic Curves -- On the Formal Modelling of Trust in Reputation-Based Systems -- Issues with Applying Cryptography in Wireless Systems -- On a Tomographic Equivalence Between (0,1)-Matrices -- P Systems with Tables of Rules -- Some Properties of Multistage Interconnection Networks -- Structural Equivalence of Regularly Extended E0L Grammars: An Automata Theoretic Proof -- Complexity of Evolving Interactive Systems.
• 摘要: This commemorative book celebrates the 70th birthday of Arto Kustaa Salomaa, one of the most influential researchers in theoretical computer science. The 24 invited papers by leading researchers in the area address a broad variety of topics in theoretical computer science and impressively reflect the breadth and the depth of Arto Salomaa's scientific work.
• 電子資源: https://dbs.tnua.edu.tw/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=133883
• 系統號: 005318028
• 資料類型: 電子書
• 讀者標籤: 需登入
• 引用網址: 複製連結
• 目前引用數