从1994年开始的时间测试奖的引文

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Pub Date : 2014-07-14 DOI:10.1145/2603088.2616160

D. Kozen

{"title":"从1994年开始的时间测试奖的引文","authors":"D. Kozen","doi":"10.1145/2603088.2616160","DOIUrl":null,"url":null,"abstract":"Two awards were made in 2014 to honor outstanding papers from the Ninth Annual IEEE Symposium on Logic in Computer Science (LICS '94) held in Paris, France, July 4-7, 1994.","PeriodicalId":20649,"journal":{"name":"Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2014-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Citations for the test-of-time award from 1994\",\"authors\":\"D. Kozen\",\"doi\":\"10.1145/2603088.2616160\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Two awards were made in 2014 to honor outstanding papers from the Ninth Annual IEEE Symposium on Logic in Computer Science (LICS '94) held in Paris, France, July 4-7, 1994.\",\"PeriodicalId\":20649,\"journal\":{\"name\":\"Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-07-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2603088.2616160\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2603088.2616160","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

2014年颁发了两个奖项，以表彰1994年7月4日至7日在法国巴黎举行的第九届IEEE计算机科学逻辑研讨会(LICS '94)上的杰出论文。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Citations for the test-of-time award from 1994

Two awards were made in 2014 to honor outstanding papers from the Ninth Annual IEEE Symposium on Logic in Computer Science (LICS '94) held in Paris, France, July 4-7, 1994.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

自引率

0.00%

发文量

期刊最新文献

The Ackermann award 2014 KAT + B! Logic for communicating automata with parameterized topology Eilenberg-MacLane spaces in homotopy type theory Deadlock and lock freedom in the linear π-calculus