Automata, Languages and Programming, 20 conf., ICALP93

Automata, Languages and Programming, 20 conf., ICALP93
Год
 
Страниц
 
709
ISBN
 
ISBN10:3540569391
Издатель
 
Springer

Описание:

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.

Похожие книги

Artificial Immune Systems: 6th International Conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007, ProceedingsArtificial Immune Systems: 6th International Conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007, Proceedings
Автор: Leandro N. de Castro, Fernando J. Von Zuben, Helder Knidel
Год: 2007
Analog Circuit Design: Scalable Analog Circuit DesignAnalog Circuit Design: Scalable Analog Circuit Design
Автор: Johan H. Huijsing, Michiel Steyaert, Arthur H.M.
Год: 2002
Geometric Aspects of Functional Analysis: Israel Seminar 2002-2003Geometric Aspects of Functional Analysis: Israel Seminar 2002-2003
Автор: Milman V. D. (Ed), Schechtman G. (Ed)
Год: 2004
The Neurophysiological Bases of Auditory PerceptionThe Neurophysiological Bases of Auditory Perception
Автор: Enrique A. Lopez-Poveda, Alan R. Palmer, Ray Meddis
Год: 2010