{"title":"A Polymerase Based Algorithm for SAT","authors":"G. Franco","doi":"10.1007/11560586_20","DOIUrl":"https://doi.org/10.1007/11560586_20","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125664477","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":"Reachability Analysis in Boxed Ambients","authors":"N. Busi, G. Zavattaro","doi":"10.1007/11560586_12","DOIUrl":"https://doi.org/10.1007/11560586_12","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134477337","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":"Efficient Algorithms for Detecting Regular Point Configurations","authors":"Luzi Anderegg, Mark Cieliebak, G. Prencipe","doi":"10.1007/11560586_4","DOIUrl":"https://doi.org/10.1007/11560586_4","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131214664","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":"Safe Object Composition in the Presence of Subtyping","authors":"Lorenzo Bettini, V. Bono, S. Likavec","doi":"10.1007/11560586_11","DOIUrl":"https://doi.org/10.1007/11560586_11","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114655631","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":"The Language chi: Circuits, Computations and Classical Logic","authors":"S. V. Bakel, Stéphane Lengrand, P. Lescanne","doi":"10.1007/11560586_8","DOIUrl":"https://doi.org/10.1007/11560586_8","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"283 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132563825","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 Theoretical Analysis of Alignment and Edit Problems for Trees","authors":"T. Kuboyama, Kilho Shin, T. Miyahara, H. Yasuda","doi":"10.1007/11560586_26","DOIUrl":"https://doi.org/10.1007/11560586_26","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128542608","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":"Laxity Helps in Broadcast Scheduling","authors":"Stanley P. Y. Fung, F. Chin, C. Poon","doi":"10.1007/11560586_21","DOIUrl":"https://doi.org/10.1007/11560586_21","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124177854","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":"Improved Exact Exponential Algorithms for Vertex Bipartization and Other Problems","authors":"Venkatesh Raman, Saket Saurabh, S. Sikdar","doi":"10.1007/11560586_30","DOIUrl":"https://doi.org/10.1007/11560586_30","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116051662","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号
求助内容：
应助结果提醒方式：