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
• Marchetti-Spaccamela, Alberto

Report Date:

1997-07-01

Pagination or Media Count:

882.0

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