STACS 94

丛 书 名：Lecture Notes in Computer Science

版本说明：1

I S B N：(纸本) 9783540577850 

出 版 社：Springer Berlin  Heidelberg 

出 版 年：1000年

页      数：XIV, 786页

主 题 词：Theory of Computation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Techniques 

摘      要：This volume constitutes the proceedings of the 11th annual Symposium on Theoretical Aspects of Computer Science (STACS 94), held in Caen, France, February 24-26, 1994. Besides three prominent invited papers, the proceedings contains 60 accepted contributions chosen by the international program committee during a highly competitive reviewing process from a total of 234 submissions for 38 countries. The volume competently represents most areas of theoretical computer science with a certain emphasis on (parallel) algorithms and complexity.