My Wish Lists Login / Join

Algebraic Informatics

Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

By: George Rahonis (Editor), Symeon Bozapalidis (Editor)

Write A Review

Paperback | 14 December 2007

At a Glance

Paperback
306 Pages

Dimensions(cm)
22.86 x 15.24 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the Second International Conference on Algebraic Informatics, CAI 2007, held in Thessaloniki, Greece, in May 2007. The papers cover topics such as algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, infinite computation, acceptors and transducers for strings, trees, graphs, arrays, etc., and decision problems.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Combinatorics & Graph Theory Algebra Computing & I.T.Computer Science Computer Architecture & Logic Design Computer Programming & Software Development Software Engineering Mathematical Foundation Mathematical Logic Mathematical Theory of Computation

Maths for Computer Scientists Databases Data Capture & Analysis

Invited Papers
On Generalizations of Weighted Finite Automata and Graphics Applications	p. 1
Sturmian and Episturmian Words: A Survey of Some Recent Results	p. 23
From Tree-Based Generators to Delegation Networks	p. 48
Bifinite Chu Spaces	p. 73
Tiling Recognizable Two-Dimensional Languages	p. 75
Algebraic Methods in Quantum Informatics	p. 87
Recognizable vs. Regular Picture Languages	p. 112
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems	p. 122
Contributed Papers
Deterministic Two-Dimensional Languages over One-Letter Alphabet	p. 147
Recognizable Picture Languages and Polyominoes	p. 160
An Algebra for Tree-Based Music Generation	p. 172
Aperiodicity in Tree Automata	p. 189
The Syntactic Complexity of Eulerian Graphs	p. 208
Learning Deterministically Recognizable Tree Series-Revisited	p. 218
The Second Eigenvalue of Random Walks On Symmetric Random Intersection Graphs	p. 236
Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques	p. 247
Nonassociativity a la Kleene	p. 260
Restarting Tree Automata and Linear Context-Free Tree Languages	p. 275
Author Index	p. 291
Table of Contents provided by Ingram. All Rights Reserved.

Algebraic Informatics

Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Maths for Computer Scientists

Discrete Mathematics for Computing

Grassroots

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

Applied Mathematics with F#

Linear Algebra with Applications in Machine Learning

From Intuitive Understanding to Python Coding

Graphical Models and Causal Discovery with Python

100 Exercises for Building Logic

Scientific Computing and Software

Go20 CSCS, Ghajnsielem, Malta, May 20-24, 2024

Python Essentials

Symbolic and Numeric Problem-Solving in Engineering

Axiomatic Set Theory

An Introduction

Sustained Simulation Performance 2023-2024

Proceedings of the Joint Workshop on Sustained Simulation Performance, High-Performance Computing Center Stuttgart (HLRS), University of Stuttgart and Tohoku University, 2023 and 2024

Tools for High Performance Computing 2024

Proceedings of the 15th International Workshop on Parallel Tools for High Performance Computing

Information Technologies and Mathematical Modelling. Queueing Theory and Related Fields

24th International Conference, ITMM 2025, Krasnoyarsk, Russia, October 20-25, 2025, Revised Selected Papers

Making Images with Mathematics

From Small Formulas to Digital and Virtual Creativity

Next Generation Arithmetic

6th International Conference, CoNGA 2025, St. Louis, MO, USA, November 14-15, 2025, Proceedings

Automated Machine Learning for Data-centric Systems

Knowledge-Guided and Experience-Driven Approaches

An Introduction to Single-User Information Theory

Springer Undergraduate Texts in Mathematics and Technology

Introduction to Machine Learning

Illustrated Principles

Introduction to Machine Learning

Illustrated Principles

The Indeterminacy of Computation

Elements in the Philosophy of Mathematics

The Indeterminacy of Computation

Elements in the Philosophy of Mathematics

Beading With Algorithms

Cellular Automata In Peyote Stitch

Beading With Algorithms

Cellular Automata In Peyote Stitch

Quantum Computing

Foundations and Practice

Formal Models of Divide-and-Conquer Queuing Systems in 5G Infrastructures

Mathematics and Computation in Music

10th International Conference, MCM 2026, Annandale-on-Hudson, NY, USA, June 23-26, 2026, Proceedings

This product is categorised by