TY - BOOK ID - 839551 TI - Automata, languages and programming. 19th international colloquium, Wien, Austria, July 1992. Proceedings PY - 1992 VL - 623 SN - 3540557199 0387557199 3540472789 PB - Berlin : Springer-Verlag, DB - UniCat KW - Computer. Automation KW - Formal languages KW - Machine theory KW - Computer programming KW - Langages formels KW - Automates mathématiques, Théorie des KW - Programmation (Informatique) KW - Congresses KW - Congrès KW - 681.3*D1 KW - 681.3*E1 KW - 681.3*F1 KW - 681.3*G2 KW - Programming techniques--See also {681.3*E} KW - Data structures: arrays; graphs; lists; tables; trees KW - Computation by abstract devices KW - Discrete mathematics (Mathematics of computing) KW - 681.3*G2 Discrete mathematics (Mathematics of computing) KW - 681.3*F1 Computation by abstract devices KW - 681.3*E1 Data structures: arrays; graphs; lists; tables; trees KW - 681.3*D1 Programming techniques--See also {681.3*E} KW - Automates mathématiques, Théorie des KW - Congrès KW - Programming (Electronic computers) KW - Machine theory - Congresses. KW - Formal languages - Congresses. KW - Programming (Electronic computers) - Congresses. KW - Information theory. KW - Logic design. KW - Computer software. KW - Computer science. KW - Data structures (Computer scienc. KW - Combinatorics. KW - Theory of Computation. KW - Logics and Meanings of Programs. KW - Algorithm Analysis and Problem Complexity. KW - Mathematical Logic and Formal Languages. KW - Data Structures. KW - Informatics KW - Science KW - Combinatorics KW - Algebra KW - Mathematical analysis KW - Software, Computer KW - Computer systems KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Communication theory KW - Communication KW - Cybernetics UR - https://www.unicat.be/uniCat?func=search&query=sysid:839551 AB - This volume presents the proceedings of the 19th International Colloquium onAutomata, Languages, and Programming (ICALP 92) in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP is a broadly based conference covering all aspects of theoretical computer science, including such topics as computability, automata, formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of databases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of logical design andlayout, parallel and distributed computation, theory of concurrency, and theory of robotics. The papers in the volume are grouped into thematic parts corresponding to their order of presentation at ICALP 92. ER -