Automata, Languages and Programming [electronic resource] : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings /
This book constitutes the refereed proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98, held in Aalborg, Denmark, in July 1998. The 70 revised full papers presented together with eight invited contributions were carefully selected from a total of 182 submissions. The book is divided in topical sections on complexitiy, verification, data structures, concurrency, computational geometry, automata and temporal logic, algorithms, infinite state systems, semantics, approximation, thorem proving, formal languages, pi-calculus, automata and BSP, rewriting, networking and routing, zero-knowledge, quantum computing, etc.
Main Authors: | , , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1998
|
Subjects: | Computer science., Computer communication systems., Software engineering., Data structures (Computer science)., Computers., Artificial intelligence., Computer graphics., Computer Science., Software Engineering/Programming and Operating Systems., Theory of Computation., Data Structures., Computer Graphics., Computer Communication Networks., Artificial Intelligence (incl. Robotics)., |
Online Access: | http://dx.doi.org/10.1007/BFb0055035 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|