| 書目名稱 | Logic from Computer Science | | 副標(biāo)題 | Proceedings of a Wor | | 編輯 | Yiannis N. Moschovakis | | 視頻video | http://file.papertrans.cn/589/588022/588022.mp4 | | 叢書名稱 | Mathematical Sciences Research Institute Publications | | 圖書封面 |  | | 描述 | The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989, and for those who did not get it, Logic from Computer Science is the converse of Logic in Computer Science, the full name of the highly successful annual LICS conferences. We meant to have a conference which would bring together the LICS commu- nity with some of the more traditional "mathematical logicians" and where the emphasis would be on the flow of ideas from computer science to logic rather than the other way around. In a LICS talk, sometimes, the speaker presents a perfectly good theorem about (say) the A-calculus or finite model theory in terms of its potential applications rather than its (often more ob- vious) intrinsic, foundational interest and intricate proof. This is not meant to be a criticism; the LICS meetings are, after all, organized by the IEEE Computer Society. We thought, for once, it would be fun to see what we would get if we asked the speakers to emphasize the relevance of their work for logic rather than computer science and to point out what is involved in the proofs. I think, mostly, it worked. In any case, the group of people represented as br | | 出版日期 | Conference proceedings 1992 | | 關(guān)鍵詞 | complexity; forcing; grammars; logic; proof; semantics | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4612-2822-6 | | isbn_softcover | 978-1-4612-7685-2 | | isbn_ebook | 978-1-4612-2822-6Series ISSN 0940-4740 | | issn_series | 0940-4740 | | copyright | Springer-Verlag New York, Inc. 1992 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 14:34
發(fā)表于 2025-3-21 18:56:58
