Research Catalog
Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings
- Title
- Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings / A. Lingas, R. Karlsson, S. Carlsson (eds.).
- Author
- International Colloquium on Automata, Languages, and Programming.
- Publication
- Berlin ; New York : Springer-Verlag, ©1993.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Use in library | QA267 .I23 1993 | Off-site |
Details
- Additional Authors
- Description
- xii, 697 pages : illustrations; 24 cm
- Summary
- "The International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for Theoretical Computer Science (EATCS). It is intended to cover all important areas of theoretical computer science, such as: computability, automata, formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logicprogramming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, and theory of robotics. This volume contains the proceedings of ICALP 93, held at LundUniversity, Sweden, in July 1993. It includes five invited papers and 51 contributed papers selected from 151 submissions."--PUBLISHER'S WEBSITE
- Series Statement
- Lecture notes in computer science ; 700
- Uniform Title
- Lecture notes in computer science ; 700.
- Subject
- Machine theory > Congresses
- Formal languages > Congresses
- Computer programming > Congresses
- Computer programming
- Formal languages
- Machine theory
- Abstracte automaten
- Programmeertalen
- Automatentheorie
- Formale Sprache
- Informatik
- Theoretische Informatik
- Kongress
- Teoria Da Computacao
- Langages formels > Congrès
- Automates mathématiques, Théorie des > Congrès
- Ordinateurs > Programmation > Congrès
- Genre/Form
- Conference papers and proceedings.
- Jerusalem (1994)
- Lund (1993)
- Bibliography (note)
- Includes bibliographical references and index.
- ISBN
- 3540569391
- 9783540569398
- 0387569391
- 9780387569390
- OCLC
- ocm28515815
- 28515815
- SCSB-9175838
- Owning Institutions
- Princeton University Library