咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >Mathematical Foundations of Co... 收藏

Mathematical Foundations of Computer Science 1993

丛 书 名:Lecture Notes in Computer Science

版本说明:1

I S B N:(纸本) 9783540571827 

出 版 社:Springer Berlin  Heidelberg 

出 版 年:1000年

页      数:XIII, 786页

主 题 词:Applications of Mathematics Software Engineering/Programming and Operating Systems Theory of Computation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs 

摘      要:This volume contains the proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, MFCS 93, held in Gdansk, Poland, August-September 1993. The MFCS symposia, organized annually in Poland and the former Czechoslovakia since 1972, have a long and well-established tradition. Over the years they have served as a meeting ground for specialists from all branches of theoretical computer science, in particular - algorithms and complexity, automata theory and theory of languages, - concurrent, distributed and real-time systems, - the theory of functional, logic and object-oriented programming, - lambda calculus and type theory, - semantics and logics of programs, and others. The volume contains 12 invitedlectures and 56 contributed papers selected from 133 submissions.

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分