Pub Date : 2009-09-04DOI: 10.1007/978-3-642-11931-6_5
A. R. Yakushev, J. Jeuring
{"title":"Enumerating Well-Typed Terms Generically","authors":"A. R. Yakushev, J. Jeuring","doi":"10.1007/978-3-642-11931-6_5","DOIUrl":"https://doi.org/10.1007/978-3-642-11931-6_5","url":null,"abstract":"","PeriodicalId":316711,"journal":{"name":"Approaches and Applications of Inductive Programming","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127056471","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 : 2009-09-04DOI: 10.1007/978-3-642-11931-6_6
V. Estruch, C. Ferri, J. Hernández-Orallo, M. J. Ramírez-Quintana
{"title":"Generalisation Operators for Lists Embedded in a Metric Space","authors":"V. Estruch, C. Ferri, J. Hernández-Orallo, M. J. Ramírez-Quintana","doi":"10.1007/978-3-642-11931-6_6","DOIUrl":"https://doi.org/10.1007/978-3-642-11931-6_6","url":null,"abstract":"","PeriodicalId":316711,"journal":{"name":"Approaches and Applications of Inductive Programming","volume":"211 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121217517","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 : 2009-09-04DOI: 10.1007/978-3-642-11931-6_1
Neil Mitchell
{"title":"Deriving a Relationship from a Single Example","authors":"Neil Mitchell","doi":"10.1007/978-3-642-11931-6_1","DOIUrl":"https://doi.org/10.1007/978-3-642-11931-6_1","url":null,"abstract":"","PeriodicalId":316711,"journal":{"name":"Approaches and Applications of Inductive Programming","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117122018","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 : 2009-09-04DOI: 10.1007/978-3-642-11931-6_4
R. Henderson
{"title":"Incremental Learning in Inductive Programming","authors":"R. Henderson","doi":"10.1007/978-3-642-11931-6_4","DOIUrl":"https://doi.org/10.1007/978-3-642-11931-6_4","url":null,"abstract":"","PeriodicalId":316711,"journal":{"name":"Approaches and Applications of Inductive Programming","volume":"151 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129141559","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 : 2009-09-04DOI: 10.1007/978-3-642-11931-6_9
Susumu Katayama
{"title":"Recent Improvements of MagicHaskeller","authors":"Susumu Katayama","doi":"10.1007/978-3-642-11931-6_9","DOIUrl":"https://doi.org/10.1007/978-3-642-11931-6_9","url":null,"abstract":"","PeriodicalId":316711,"journal":{"name":"Approaches and Applications of Inductive Programming","volume":"312 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127762036","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 : 2009-09-04DOI: 10.1007/978-3-642-11931-6_2
P. Koopman, M. J. Plasmeijer
{"title":"Synthesis of Functions Using Generic Programming","authors":"P. Koopman, M. J. Plasmeijer","doi":"10.1007/978-3-642-11931-6_2","DOIUrl":"https://doi.org/10.1007/978-3-642-11931-6_2","url":null,"abstract":"","PeriodicalId":316711,"journal":{"name":"Approaches and Applications of Inductive Programming","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123498399","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 : 2009-09-04DOI: 10.1007/978-3-642-11931-6_7
M. Hofmann, E. Kitzelmann, Ute Schmid
{"title":"Porting IgorII from Maude to Haskell","authors":"M. Hofmann, E. Kitzelmann, Ute Schmid","doi":"10.1007/978-3-642-11931-6_7","DOIUrl":"https://doi.org/10.1007/978-3-642-11931-6_7","url":null,"abstract":"","PeriodicalId":316711,"journal":{"name":"Approaches and Applications of Inductive Programming","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122920623","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 : 1900-01-01DOI: 10.1007/978-3-642-11931-6
Ute Schmid, E. Kitzelmann, R. Plasmeijer, J. Hernández-Orallo
{"title":"Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers","authors":"Ute Schmid, E. Kitzelmann, R. Plasmeijer, J. Hernández-Orallo","doi":"10.1007/978-3-642-11931-6","DOIUrl":"https://doi.org/10.1007/978-3-642-11931-6","url":null,"abstract":"","PeriodicalId":316711,"journal":{"name":"Approaches and Applications of Inductive Programming","volume":"701 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114407060","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
扫码关注我们
求助内容：
应助结果提醒方式：