| 书目名称 | STACS 88 | | 副标题 | 5th Annual Symposium | | 编辑 | Robert Cori,Martin Wirsing | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: algorithms, complexity, formal languages, rewriting systems and abstract data types, graph grammars, distributed algorithms, geometrical algorithms, trace languages, semantics of parallelism. | | 出版日期 | Conference proceedings 1988 | | 关键词 | Algorithms; Automat; Bisimulation; Boolean algebra; Modula; Monoid; Scheduling; automata; complexity; compute | | 版次 | 1 | | doi | https://doi.org/10.1007/BFb0035825 | | isbn_softcover | 978-3-540-18834-6 | | isbn_ebook | 978-3-540-48190-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1988 |
The information of publication is updating
|
|
发表于 2025-3-21 19:16:05
