Pub Date : 2010-04-19DOI: 10.1007/978-3-642-12251-4_19
Martin Avanzini, G. Moser
{"title":"Complexity Analysis by Graph Rewriting","authors":"Martin Avanzini, G. Moser","doi":"10.1007/978-3-642-12251-4_19","DOIUrl":"https://doi.org/10.1007/978-3-642-12251-4_19","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130131262","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 : 2010-04-19DOI: 10.1007/978-3-642-12251-4_3
Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara
{"title":"Solving Constraint Satisfaction Problems with SAT Technology","authors":"Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara","doi":"10.1007/978-3-642-12251-4_3","DOIUrl":"https://doi.org/10.1007/978-3-642-12251-4_3","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122551374","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 : 2010-04-19DOI: 10.1007/978-3-642-12251-4_11
A. Saurin
{"title":"Standardization and Böhm Trees for Lambdaµ-Calculus","authors":"A. Saurin","doi":"10.1007/978-3-642-12251-4_11","DOIUrl":"https://doi.org/10.1007/978-3-642-12251-4_11","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130600580","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 : 2010-04-19DOI: 10.1007/978-3-642-12251-4_17
Andreas Abel
{"title":"Towards Normalization by Evaluation for the betaeta-Calculus of Constructions","authors":"Andreas Abel","doi":"10.1007/978-3-642-12251-4_17","DOIUrl":"https://doi.org/10.1007/978-3-642-12251-4_17","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121405473","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 : 2010-04-19DOI: 10.1007/978-3-642-12251-4_2
Konstantinos Sagonas
{"title":"Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs","authors":"Konstantinos Sagonas","doi":"10.1007/978-3-642-12251-4_2","DOIUrl":"https://doi.org/10.1007/978-3-642-12251-4_2","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"14 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116646668","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 : 2010-04-19DOI: 10.1007/978-3-642-12251-4_24
M. Dieterle, J. Berthold, R. Loogen
{"title":"A Skeleton for Distributed Work Pools in Eden","authors":"M. Dieterle, J. Berthold, R. Loogen","doi":"10.1007/978-3-642-12251-4_24","DOIUrl":"https://doi.org/10.1007/978-3-642-12251-4_24","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"13 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114099862","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 : 2010-04-19DOI: 10.1007/978-3-642-12251-4_5
Thorsten Altenkirch, Nils Anders Danielsson, Andres Löh, N. Oury
{"title":"PiSigma: Dependent Types without the Sugar","authors":"Thorsten Altenkirch, Nils Anders Danielsson, Andres Löh, N. Oury","doi":"10.1007/978-3-642-12251-4_5","DOIUrl":"https://doi.org/10.1007/978-3-642-12251-4_5","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"143 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129447137","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 : 2010-04-19DOI: 10.1007/978-3-642-12251-4_21
Naoki Nishida, Masahiko Sakai
{"title":"Proving Injectivity of Functions via Program Inversion in Term Rewriting","authors":"Naoki Nishida, Masahiko Sakai","doi":"10.1007/978-3-642-12251-4_21","DOIUrl":"https://doi.org/10.1007/978-3-642-12251-4_21","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121402927","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 : 2010-04-19DOI: 10.1007/978-3-642-12251-4_14
D. Seidel, J. Voigtländer
{"title":"Automatically Generating Counterexamples to Naive Free Theorems","authors":"D. Seidel, J. Voigtländer","doi":"10.1007/978-3-642-12251-4_14","DOIUrl":"https://doi.org/10.1007/978-3-642-12251-4_14","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122987435","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 : 2010-04-19DOI: 10.1007/978-3-642-12251-4_13
J. M. Howe, A. King
{"title":"A Pearl on SAT Solving in Prolog","authors":"J. M. Howe, A. King","doi":"10.1007/978-3-642-12251-4_13","DOIUrl":"https://doi.org/10.1007/978-3-642-12251-4_13","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115963245","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
扫码关注我们
求助内容：
应助结果提醒方式：