Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
摘要:
The papers in this book report on foundations of software technology and theoretical computer science project research results. The authors report on algorithmics: design and analysis of graph, geometric, algebraic and VLSI algorithms; data structures; average analysis; complexity theory; parallel parsing; concurrency; algebraic semantics, event structures; logic programming; algebraic properties, semantics; and software technology: program transformations, algebraic methods. These results together with the formal techniques employed to present them reflect current trends pursued by research groups around the world. The papers treat their topics by reviewing existing results, developing and demonstrating new techniques and suggesting further directions for research.
展开
DOI:
10.1007/3-540-18625-5
被引量:
年份:
1987










通过文献互助平台发起求助,成功后即可免费获取论文全文。
相似文献
参考文献
引证文献
辅助模式
引用
文献可以批量引用啦~
欢迎点我试用!