Pub Date : 2001-10-04DOI: 10.1007/3-540-45446-2_26
M. Baldoni, Laura Giordano, A. Martelli, V. Patti
{"title":"Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach","authors":"M. Baldoni, Laura Giordano, A. Martelli, V. Patti","doi":"10.1007/3-540-45446-2_26","DOIUrl":"https://doi.org/10.1007/3-540-45446-2_26","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115974316","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"P Systems with Gemmation of Mobile Membranes","authors":"D. Besozzi, C. Zandron, G. Mauri, N. Sabadini","doi":"10.1007/3-540-45446-2_9","DOIUrl":"https://doi.org/10.1007/3-540-45446-2_9","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116707063","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2001-10-04DOI: 10.1007/3-540-45446-2_21
A. Kaporis, L. Kirousis, Y. Stamatiou, M. Vamvakari, M. Zito
{"title":"Coupon Collectors, q-Binomial Coefficients and the Unsatisfiability Threshold","authors":"A. Kaporis, L. Kirousis, Y. Stamatiou, M. Vamvakari, M. Zito","doi":"10.1007/3-540-45446-2_21","DOIUrl":"https://doi.org/10.1007/3-540-45446-2_21","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116189290","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2001-10-04DOI: 10.1007/3-540-45446-2_10
G. Prencipe
{"title":"Instantaneous Actions vs. Full Asynchronicity : Controlling and Coordinating a Set of Autonomous Mobile Robots","authors":"G. Prencipe","doi":"10.1007/3-540-45446-2_10","DOIUrl":"https://doi.org/10.1007/3-540-45446-2_10","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123197328","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A LTS Semantics of Ambients via Graph Synchronization with Mobility","authors":"G. Ferrari, U. Montanari, E. Tuosto","doi":"10.1007/3-540-45446-2_1","DOIUrl":"https://doi.org/10.1007/3-540-45446-2_1","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130806757","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2001-10-04DOI: 10.1007/3-540-45446-2_18
J. Fiala, Jan Kratochvíl, A. Proskurowski
{"title":"Distance Constrained Labeling of Precolored Trees","authors":"J. Fiala, Jan Kratochvíl, A. Proskurowski","doi":"10.1007/3-540-45446-2_18","DOIUrl":"https://doi.org/10.1007/3-540-45446-2_18","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126682768","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Confluence of Untyped Lambda Calculus via Simple Types","authors":"S. Ghilezan, Viktor Kunčak","doi":"10.1007/3-540-45446-2_3","DOIUrl":"https://doi.org/10.1007/3-540-45446-2_3","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121150547","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2001-10-04DOI: 10.1007/3-540-45446-2_17
Lars Jacobsen, Kim S. Larsen
{"title":"Complexity of Layered Binary Search Trees with Relaxed Balance","authors":"Lars Jacobsen, Kim S. Larsen","doi":"10.1007/3-540-45446-2_17","DOIUrl":"https://doi.org/10.1007/3-540-45446-2_17","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126036842","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：