| 书目名称 | Mathematical Foundations of Programming Semantics |
| 副标题 | 7th International Co |
| 编辑 | Stephen Brookes,Michael Main,David Schmidt |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This volume contains the proceedings of the SeventhInternational Conferenceon the Mathematical Foundations ofProgramming Semantics, held at CarnegieMellon University,March 1991.The conference continued a series of annual meetings,alternating between workshop and conferenceformats,intended to bring together computer scientists andmathematicians for discussion of research problems, resultsand directions in programming language semantics and relatedareas. A major goalof the series is to improvecommunication and interaction between researchers in theseareas and to establish ties between related areasofresearch.The volume contains revised and refereed versions of eachofthe contributed papers and refereed papers by three invitedspeakers:Jon Barwise, John Reynolds, and Mitchell Wand. |
| 出版日期 | Conference proceedings 1992 |
| 关键词 | Mathematical Foundations; Mathematical Logic; Mathematische Grundlagen; Mathematische Logik; Monoid; Prog |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-55511-0 |
| isbn_softcover | 978-3-540-55511-7 |
| isbn_ebook | 978-3-540-47194-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1992 |
发表于 2025-3-21 19:06:02
