ENGLISH

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

By Leslie Lamport , Martín Abadi , Pierre Wolper (auth.) , Giorgio Ausiello , Mariangiola Dezani-Ciancaglini , Simonetta Ronchi Della Rocca (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1989
ISBN
354051371X, 9783540513711
DOI
10.1007/BFb0035746
Open Library ID
OL12775842M
Language
english
Format
DJVU
Filesize
7 MB (7437403 bytes)
Series
Lecture Notes in Computer Science 372
Edition
1
Pages
790\801
Library
Kolxo3
DPI
300
Time added
2009-12-04 00:34:26
Mathematical Logic and Formal Languages; Logics an

Description

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.

Similar books