Choose an application

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

This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata theory, formal language theory, analysis of algorithms, computational complexity, mathematical aspects of programming language definition, logic and semantics of programming languages, foundations of logic programming, theorem proving, software specification, computational geometry, data types and data structures, theory of data bases and knowledge based systems, cryptography, VLSI structures, parallel and distributed computing, models of concurrency and robotics.

Computer science --- Machine theory --- Formal languages --- Computer programming --- Automates mathématiques, Théorie des --- Langages formels --- Programmation (Informatique) --- Congresses --- Congrès --- 681.3*C1 --- 681.3*E1 --- 681.3*F --- 681.3*I1 --- 681.3*I23 --- Processor architectures (Computer systems organization) --- Data structures: arrays; graphs; lists; tables; trees --- Theory of computation --- Algebraic manipulation (Computing methodologies) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I1 Algebraic manipulation (Computing methodologies) --- 681.3*F Theory of computation --- 681.3*E1 Data structures: arrays; graphs; lists; tables; trees --- 681.3*C1 Processor architectures (Computer systems organization) --- Automates mathématiques, Théorie des --- Congrès --- Information theory. --- Logic design. --- Computer software. --- Computer science. --- Combinatorics. --- Theory of Computation. --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Computation by Abstract Devices. --- Combinatorics --- Algebra --- Mathematical analysis --- Informatics --- Science --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Informatique --- BASIC (Computer program language) --- Automates mathématiques, Théorie des - Congres --- Langages formels - Congres --- Programmation (Informatique) - Congres