
Accession Number : ADA327832
Title : Automata. Languages and Programming  24th International Colloquium, ICALP '97, Bologna, Italy, July 1997. Proceedings.
Descriptive Note : Conference proceedings,
Corporate Author : PISA UNIV (ITALY)
Personal Author(s) : Degano, Pierpaolo ; Gorrieri, Roberto ; MarchettiSpaccamela, Alberto
PDF Url : ADA327832
Report Date : JUL 1997
Pagination or Media Count : 882
Abstract : The Final Proceedings for International Colloquium on Algorithms, Languages and Programming (ICALP), 7 July 1997  11 July 1997. The Topics covered include: Computability, automata, formal languages, new computing paradigms, term rewriting, analysis and design of algorithms, computational complexity, symbolic and algebraic computation, cryptography, and security; data types and data structures, theory of database and knowledge bases, semantics of programming languages, program specification and verification, foundations of logic programming, parallel, and distributed computation, theory of concurrency, theory of robotics.
Descriptors : *SYMPOSIA, *PROGRAMMING LANGUAGES, *AUTOMATA, COMPUTER PROGRAMS, DATA BASES, ALGORITHMS, ROBOTICS, COMPUTATIONS, CRYPTOGRAPHY, DATA PROCESSING SECURITY, VERIFICATION, MODELS, DISTRIBUTION, SPECIFICATIONS, THEORY, COMPUTER LOGIC, COMPUTER PROGRAMMING, SEMANTICS, ALGEBRA, ITALY, KNOWLEDGE BASED SYSTEMS, SYMBOLS, FOUNDATIONS(STRUCTURES).
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE