Cover Image
Read Now

Automata, Languages and Programming 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 18...

Full description

Bibliographic Details
Other Authors: Larsen, Kim G. (Editor), Skyum, Sven (Editor), Winskel, Glynn (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1998, 1998
Edition:1st ed. 1998
Series:Lecture Notes in Computer Science
Subjects:
Computer Communication Networks
Artificial Intelligence / Data Processing
Computer Graphics
Software Engineering
Computer Science
Artificial Intelligence
Computer Networks 
Theory Of Computation
Data Science
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Description
Summary: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
Physical Description:XXXII, 936 p online resource
ISBN:9783540686811

Similar Items