|
|
|
|
LEADER |
02834nmm a2200397 u 4500 |
001 |
EB000652401 |
003 |
EBX01000000000000001348904 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
140122 ||| eng |
020 |
|
|
|a 9783540278122
|
100 |
1 |
|
|a Karhumäki, Juhani
|e [editor]
|
245 |
0 |
0 |
|a Theory Is Forever
|h Elektronische Ressource
|b Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday
|c edited by Juhani Karhumäki, Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg
|
250 |
|
|
|a 1st ed. 2004
|
260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2004, 2004
|
300 |
|
|
|a X, 286 p
|b online resource
|
505 |
0 |
|
|a 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
|
653 |
|
|
|a Computer Science Logic and Foundations of Programming
|
653 |
|
|
|a Computer science
|
653 |
|
|
|a Computer science / Mathematics
|
653 |
|
|
|a Numerical Analysis
|
653 |
|
|
|a Discrete Mathematics in Computer Science
|
653 |
|
|
|a Formal Languages and Automata Theory
|
653 |
|
|
|a Machine theory
|
653 |
|
|
|a Numerical analysis
|
653 |
|
|
|a Discrete mathematics
|
653 |
|
|
|a Theory of Computation
|
700 |
1 |
|
|a Maurer, Hermann
|e [editor]
|
700 |
1 |
|
|a Paun, Gheorghe
|e [editor]
|
700 |
1 |
|
|a Rozenberg, Grzegorz
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
490 |
0 |
|
|a Lecture Notes in Computer Science
|
028 |
5 |
0 |
|a 10.1007/b98751
|
856 |
4 |
0 |
|u https://doi.org/10.1007/b98751?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 004.0151
|