Pub Date : 2018-05-09DOI: 10.1007/978-3-319-90686-7_6
Steven Cheung, Victor-Alexandru Darvariu, D. Ghica, Koko Muroya, R. Rowe
{"title":"A Functional Perspective on Machine Learning via Programmable Induction and Abduction","authors":"Steven Cheung, Victor-Alexandru Darvariu, D. Ghica, Koko Muroya, R. Rowe","doi":"10.1007/978-3-319-90686-7_6","DOIUrl":"https://doi.org/10.1007/978-3-319-90686-7_6","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"130 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133765972","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 : 2018-05-09DOI: 10.1007/978-3-319-90686-7_13
A. Riesco
{"title":"Model Checking Parameterized by the Semantics in Maude","authors":"A. Riesco","doi":"10.1007/978-3-319-90686-7_13","DOIUrl":"https://doi.org/10.1007/978-3-319-90686-7_13","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124646550","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 : 2018-05-09DOI: 10.1007/978-3-319-90686-7_17
M. Walker, C. Runciman
{"title":"Cheap Remarks About Concurrent Programs","authors":"M. Walker, C. Runciman","doi":"10.1007/978-3-319-90686-7_17","DOIUrl":"https://doi.org/10.1007/978-3-319-90686-7_17","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130308421","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 : 2018-05-09DOI: 10.1007/978-3-319-90686-7_11
Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, H. Iwasaki
{"title":"Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers","authors":"Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, H. Iwasaki","doi":"10.1007/978-3-319-90686-7_11","DOIUrl":"https://doi.org/10.1007/978-3-319-90686-7_11","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128192841","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 : 2018-05-09DOI: 10.1007/978-3-319-90686-7_12
M. Codish, Thorsten Ehlers, G. Gange, Avraham Itzhakov, Peter James Stuckey
{"title":"Breaking Symmetries with Lex Implications","authors":"M. Codish, Thorsten Ehlers, G. Gange, Avraham Itzhakov, Peter James Stuckey","doi":"10.1007/978-3-319-90686-7_12","DOIUrl":"https://doi.org/10.1007/978-3-319-90686-7_12","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121909221","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 : 2018-05-09DOI: 10.1007/978-3-319-90686-7_15
Kanae Tsushima, O. Chitil
{"title":"A Common Framework Using Expected Types for Several Type Debugging Approaches","authors":"Kanae Tsushima, O. Chitil","doi":"10.1007/978-3-319-90686-7_15","DOIUrl":"https://doi.org/10.1007/978-3-319-90686-7_15","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116844364","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 : 2018-05-09DOI: 10.1007/978-3-319-90686-7_5
Chen-Mou Cheng, Ruey-Lin Hsu, Shin-Cheng Mu
{"title":"Functional Pearl: Folding Polynomials of Polynomials","authors":"Chen-Mou Cheng, Ruey-Lin Hsu, Shin-Cheng Mu","doi":"10.1007/978-3-319-90686-7_5","DOIUrl":"https://doi.org/10.1007/978-3-319-90686-7_5","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127579479","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 : 2018-05-09DOI: 10.1007/978-3-319-90686-7_2
S. Matsuoka
{"title":"Direct Encodings of NP-Complete Problems into Horn Sequents of Multiplicative Linear Logic","authors":"S. Matsuoka","doi":"10.1007/978-3-319-90686-7_2","DOIUrl":"https://doi.org/10.1007/978-3-319-90686-7_2","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123206788","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 : 2018-02-27DOI: 10.1007/978-3-319-90686-7_9
Martin Avanzini, Ugo Dal Lago, A. Yamada
{"title":"On Probabilistic Term Rewriting","authors":"Martin Avanzini, Ugo Dal Lago, A. Yamada","doi":"10.1007/978-3-319-90686-7_9","DOIUrl":"https://doi.org/10.1007/978-3-319-90686-7_9","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116120830","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 : 2016-03-04DOI: 10.1007/978-3-319-29604-3_10
J. McCarthy, B. Fetscher, Max S. New, Daniel Feltey, R. Findler
{"title":"A Coq Library for Internal Verification of Running-Times","authors":"J. McCarthy, B. Fetscher, Max S. New, Daniel Feltey, R. Findler","doi":"10.1007/978-3-319-29604-3_10","DOIUrl":"https://doi.org/10.1007/978-3-319-29604-3_10","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129152211","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
扫码关注我们
求助内容：
应助结果提醒方式：