Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming (Electronic computers) - Congresses. --- Computers - Congresses.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Computer. Automation --- Formal languages --- Machine theory --- Computer programming --- Langages formels --- Automates mathématiques, Théorie des --- Programmation (Informatique) --- Congresses --- Congrès --- 681.3*D1 --- 681.3*E1 --- 681.3*F1 --- 681.3*G2 --- Programming techniques--See also {681.3*E} --- Data structures: arrays; graphs; lists; tables; trees --- Computation by abstract devices --- Discrete mathematics (Mathematics of computing) --- 681.3*G2 Discrete mathematics (Mathematics of computing) --- 681.3*F1 Computation by abstract devices --- 681.3*E1 Data structures: arrays; graphs; lists; tables; trees --- 681.3*D1 Programming techniques--See also {681.3*E} --- Automates mathématiques, Théorie des --- Congrès --- Programming (Electronic computers) --- Machine theory - Congresses. --- Formal languages - Congresses. --- Programming (Electronic computers) - Congresses. --- Information theory. --- Logic design. --- Computer software. --- Computer science. --- Data structures (Computer scienc. --- Combinatorics. --- Theory of Computation. --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Data Structures. --- Informatics --- Science --- Combinatorics --- Algebra --- Mathematical analysis --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Cybernetics