| 书目名称 | Computer Science Logic |
| 副标题 | 11th International W |
| 编辑 | Mogens Nielsen,Wolfgang Thomas |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL ‘97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997..The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area. |
| 出版日期 | Conference proceedings 1998 |
| 关键词 | Automat; Racter; Resolution; automata; complexity; computer; evolution; lambda calculus; logic; pigeonhole pr |
| 版次 | 1 |
| doi | https://doi.org/10.1007/BFb0028003 |
| isbn_softcover | 978-3-540-64570-2 |
| isbn_ebook | 978-3-540-69353-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1998 |
发表于 2025-3-21 17:18:22
