Automata, Languages and Programming : 17th International Colloquium Warwick University, England, July 16-20, 1990 Proceedings /

Saved in:

Bibliographic Details
Imprint:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1990.
Description:	1 online resource (XII, 788 pages) : online resource.
Language:	English
Series:	Lecture Notes in Computer Science, 0302-9743 ; 443 Lecture notes in computer science ; 443.
Subject:	Computer science. Data structures (Computer science) Computer software. Artificial intelligence. Computer graphics. Combinatorial analysis. Artificial intelligence. Combinatorial analysis. Computer graphics. Computer science. Computer software. Data structures (Computer science)
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11094890

Hidden Bibliographic Details
Other authors / contributors:	Paterson, Michael S., editor.
ISBN:	9783540471592 3540471596
Digital file characteristics:	text file PDF
Summary:	This volume contains the proceedings of ICALP 90, the International Colloquium on Automata, Languages and Programming sponsored by the European Association for Theoretical Computer Science (EATCS). This annual conference series covers all important areas of theoretical computer science, such as computability, automata, formal languages, analysis of algorithms, computational complexity, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, computational geometry, cryptography, and theory of robotics. This volume contains five invited papers and 52 papers selected from 250 submitted.
Other form:	Printed edition: 9783540528265
Standard no.:	10.1007/BFb0032016

Similar Items