LEADER 03349nam  22007215  450 
001 996465402803316
005 20230223235734.0
010   $a3-642-21493-2
024 7 $a10.1007/978-3-642-21493-6
035   $a(CKB)2670000000095861
035   $a(SSID)ssj0000530664
035   $a(PQKBManifestationID)11323987
035   $a(PQKBTitleCode)TC0000530664
035   $a(PQKBWorkID)10568128
035   $a(PQKB)10028835
035   $a(DE-He213)978-3-642-21493-6
035   $a(MiAaPQ)EBC3066871
035   $a(PPN)153859873
035   $a(EXLCZ)992670000000095861
100   $a20110620d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAlgebraic Informatics$b[electronic resource] $e4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings /$fedited by Franz Winkler
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (X, 261 p. 23 illus., 1 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6742
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-21492-4 
320   $aIncludes bibliographical references and index.
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6742
606   $aComputer science
606   $aMachine theory
606   $aComputer science?Mathematics
606   $aSoftware engineering
606   $aDiscrete mathematics
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aSymbolic and Algebraic Manipulation
606   $aSoftware Engineering
606   $aDiscrete Mathematics in Computer Science
606   $aMathematics of Computing
615  0$aComputer science.
615  0$aMachine theory.
615  0$aComputer science?Mathematics.
615  0$aSoftware engineering.
615  0$aDiscrete mathematics.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aSymbolic and Algebraic Manipulation.
615 24$aSoftware Engineering.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aMathematics of Computing.
676   $a005.1015113
702   $aWinkler$b Franz$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465402803316
996   $aAlgebraic Informatics$92954948
997   $aUNISA