Automata. Languages and Programming - 24th International Colloquium, ICALP '97, Bologna, Italy, July 1997. Proceedings.

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1997
Accession Number
ADA327832

Entities

People

  • Alberto Marchetti-spaccamela
  • Pierpaolo Degano
  • Roberto Gorrieri

Organizations

  • University of Pisa

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies
  • Ground and Sea Platforms
  • Space

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Automata Theory
  • Communication Channels
  • Computational Science
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Information Science
  • Information Systems
  • Network Science
  • Parallel Computing
  • Probabilistic Models
  • Security Protocols
  • Systems Engineering
  • Theorems
  • Trees (Data Structures)

Fields of Study

  • Computer science
  • Engineering

Readers

  • Academic Conference Management
  • Computational Linguistics
  • Mathematical Modeling and Probability Theory.

Technology Areas

  • AI & ML
  • AI & ML - Machine Learning Algorithms
  • Autonomy
  • Autonomy - Autonomous System Control
  • Cyber
  • Cyber - Legality in Cyberspace