Pub Date : 1986-07-01DOI: 10.1007/3-540-16444-8_22
Rolf Wiehagen
{"title":"How fast is program synthesis from examples","authors":"Rolf Wiehagen","doi":"10.1007/3-540-16444-8_22","DOIUrl":"https://doi.org/10.1007/3-540-16444-8_22","url":null,"abstract":"","PeriodicalId":143720,"journal":{"name":"Mathematical Methods of Specification and Synthesis of Software Systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129391035","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":"Predicative programming revisited","authors":"W. Bibel","doi":"10.1007/3-540-16444-8_2","DOIUrl":"https://doi.org/10.1007/3-540-16444-8_2","url":null,"abstract":"","PeriodicalId":143720,"journal":{"name":"Mathematical Methods of Specification and Synthesis of Software Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126831232","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":"Language and example of knowledge-based programming","authors":"E. Tyugu","doi":"10.1007/3-540-16444-8_4","DOIUrl":"https://doi.org/10.1007/3-540-16444-8_4","url":null,"abstract":"","PeriodicalId":143720,"journal":{"name":"Mathematical Methods of Specification and Synthesis of Software Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127441354","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":"Learning on the basis of a polynomial pattern synthesis algorithm","authors":"Ognian Botusharov","doi":"10.1007/3-540-16444-8_9","DOIUrl":"https://doi.org/10.1007/3-540-16444-8_9","url":null,"abstract":"","PeriodicalId":143720,"journal":{"name":"Mathematical Methods of Specification and Synthesis of Software Systems","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117036723","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":"Natural mathematical texts vs. programs","authors":"T. Gergely, K. Vershinin","doi":"10.1007/3-540-16444-8_6","DOIUrl":"https://doi.org/10.1007/3-540-16444-8_6","url":null,"abstract":"","PeriodicalId":143720,"journal":{"name":"Mathematical Methods of Specification and Synthesis of Software Systems","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126745834","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 : 1985-04-22DOI: 10.1007/3-540-16444-8_14
Zdzislaw Habasinski
{"title":"Decidability in Pratt's process logics","authors":"Zdzislaw Habasinski","doi":"10.1007/3-540-16444-8_14","DOIUrl":"https://doi.org/10.1007/3-540-16444-8_14","url":null,"abstract":"","PeriodicalId":143720,"journal":{"name":"Mathematical Methods of Specification and Synthesis of Software Systems","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116265149","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":"Inductive inference hierarchies: probabilistic vs pluralistic strategies","authors":"Robert P. Daley","doi":"10.1007/3-540-16444-8_5","DOIUrl":"https://doi.org/10.1007/3-540-16444-8_5","url":null,"abstract":"","PeriodicalId":143720,"journal":{"name":"Mathematical Methods of Specification and Synthesis of Software Systems","volume":"22 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125859364","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 : 1985-04-22DOI: 10.1007/3-540-16444-8_10
J. Cybulka, J. Bartoszek
{"title":"The proof-checking component for the PLEATS programming system enabling specification of theories","authors":"J. Cybulka, J. Bartoszek","doi":"10.1007/3-540-16444-8_10","DOIUrl":"https://doi.org/10.1007/3-540-16444-8_10","url":null,"abstract":"","PeriodicalId":143720,"journal":{"name":"Mathematical Methods of Specification and Synthesis of Software Systems","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131133411","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":"Verification of an alternating bit protocol by means of process algebra","authors":"J. Bergstra, J. Klop","doi":"10.1007/3-540-16444-8_1","DOIUrl":"https://doi.org/10.1007/3-540-16444-8_1","url":null,"abstract":"","PeriodicalId":143720,"journal":{"name":"Mathematical Methods of Specification and Synthesis of Software Systems","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127594111","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 : 1985-04-22DOI: 10.1007/3-540-16444-8_12
Marek Ejsmont
{"title":"One more property of array languages","authors":"Marek Ejsmont","doi":"10.1007/3-540-16444-8_12","DOIUrl":"https://doi.org/10.1007/3-540-16444-8_12","url":null,"abstract":"","PeriodicalId":143720,"journal":{"name":"Mathematical Methods of Specification and Synthesis of Software Systems","volume":"54 14","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120926860","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
扫码关注我们
求助内容：
应助结果提醒方式：