Algebraic Informatics

4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings

  • Franz Winkler
Conference proceedings CAI 2011

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6742)

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Aart Middeldorp, Georg Moser, Friedrich Neurauter, Johannes Waldmann, Harald Zankl
      Pages 1-20
    2. Lajos Rónyai, Tamás Mészáros
      Pages 65-83
  3. Contributed Papers

    1. Christoph Behle, Andreas Krebs, Stephanie Reifferscheid
      Pages 97-114
    2. Anna Benini, Achille Frigeri, Fiorenza Morini
      Pages 115-126
    3. Matthieu Deneufchâtel, Gérard H. E. Duchamp, Vincel Hoang Ngoc Minh, Allan I. Solomon
      Pages 127-139
    4. Sicun Gao, André Platzer, Edmund M. Clarke
      Pages 140-157
    5. Mamadou Moustapha Kanté, Michael Rao
      Pages 158-173
    6. Gregory Karagiorgos, Dimitrios Poulakis
      Pages 174-184
    7. Ondřej Klíma, Miroslav Korbelář, Libor Polák
      Pages 185-200
    8. Cynthia Kop
      Pages 201-215
    9. Christos Koukouvinos, Dimitris E. Simos, Zlatko Varbanov
      Pages 216-229
    10. Irini-Eleftheria Mens, George Rahonis
      Pages 247-260
  4. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 4th International Conference on Algebraic Informatics, CAI 2011, held in Linz, Austria, in June 2011.

The 12 revised full papers presented together with 4 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as algebraic semantics on graph and trees, formal power series, syntactic objects, algebraic picture processing, finite and infinite computations, acceptors and transducers for strings, trees, graphs arrays, etc. decision problems, algebraic characterization of logical theories, process algebra, algebraic algorithms, algebraic coding theory, and algebraic aspects of cryptography.


Groebner bases algebraic groups automata theory comma codes complexity theory grammar systems semigroups

Editors and affiliations

  • Franz Winkler
    • 1
  1. 1.Research Institute for Symbolic Computation (RISC)Johannes Kepler UniversityLinzAustria

Bibliographic information