1 option
Algebraic Informatics : Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers / edited by Symeon Bozapalidis, George Rahonis.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 4728.
- Theoretical Computer Science and General Issues ; 4728
- Language:
- English
- Subjects (All):
- Computers.
- Algebra.
- Computer logic.
- Logic, Symbolic and mathematical.
- Software engineering.
- Computer science--Mathematics.
- Computer science.
- Theory of Computation.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Software Engineering.
- Symbolic and Algebraic Manipulation.
- Local Subjects:
- Theory of Computation.
- Algebra.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Software Engineering.
- Symbolic and Algebraic Manipulation.
- Physical Description:
- 1 online resource (VIII, 289 pages).
- Edition:
- First edition 2007.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
- System Details:
- text file PDF
- Contents:
- Invited Papers
- On Generalizations of Weighted Finite Automata and Graphics Applications
- Sturmian and Episturmian Words
- From Tree-Based Generators to Delegation Networks
- Bifinite Chu Spaces
- Tiling Recognizable Two-Dimensional Languages
- Algebraic Methods in Quantum Informatics
- Recognizable vs. Regular Picture Languages
- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
- Contributed Papers
- Deterministic Two-Dimensional Languages over One-Letter Alphabet
- Recognizable Picture Languages and Polyominoes
- An Algebra for Tree-Based Music Generation
- Aperiodicity in Tree Automata
- The Syntactic Complexity of Eulerian Graphs
- Learning Deterministically Recognizable Tree Series - Revisited
- The Second Eigenvalue of Random Walks On Symmetric Random Intersection Graphs
- Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques
- Nonassociativity à la Kleene
- Restarting Tree Automata and Linear Context-Free Tree Languages.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-75414-5
- 9783540754145
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.