tailieunhanh - Sách: Lecture Notes in Computer Science

CAI 2009 was the Third International Conference on Algebraic Informatics. It was intended to cover the topics of algebraic semantics on graphs 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, algebraic aspects of cryptography. | Lecture Notes in Computer Science 5725 Commenced Publication in 1973 Founding and Former Series Editors Gerhard Goos Juris Hartmanis and Jan van Leeuwen Editorial Board David Hutchison Lancaster University UK Takeo Kanade Carnegie Mellon University Pittsburgh PA USA Josef Kittler University of Surrey Guildford UK Jon M. Kleinberg Cornell University Ithaca NY USA Alfred Kobsa University of California Irvine CA USA Friedemann Mattern ETH Zurich Switzerland John C. Mitchell Stanford University CA USA Moni Naor Weizmann Institute of Science Rehovot Israel Oscar Nierstrasz University of Bern Switzerland C. Pandu Rangan Indian Institute of Technology Madras India Bernhard Steffen University of Dortmund Germany Madhu Sudan Microsoft Research Cambridge MA USA Demetri Terzopoulos University of California Los Angeles CA USA Doug Tygar University of California Berkeley CA USA Gerhard Weikum Max-Planck Institute of Computer Science Saarbruecken Germany Symeon Bozapalidis George Rahonis Eds. Algebraic Informatics Third International Conference CAI 2009 Thessaloniki Greece May 19-22 2009 Proceedings 1 Springer Volume Editors Symeon Bozapalidis George Rahonis Aristotle University of Thessaloniki Department of Mathematics 54124 Thessaloniki Greece E-mail bozapali grahonis @ Library of Congress Control Number Applied for CR Subject Classification 1998 LNCS Sublibrary SL 1 - Theoretical Computer Science and General Issues ISSN 0302-9743 ISBN-10 3-642-03563-9 Springer Berlin Heidelberg New York IsbN-13 978-3-642-03563-0 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved whether the whole or part of the material is concerned specifically the rights of translation reprinting re-use of illustrations recitation broadcasting reproduction on microfilms or in any other way and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German .