{"title":"Typechecking Dependent Types and Subtypes","authors":"L. Cardelli","doi":"10.1007/3-540-19129-1_2","DOIUrl":"https://doi.org/10.1007/3-540-19129-1_2","url":null,"abstract":"","PeriodicalId":269423,"journal":{"name":"Foundations of Logic and Functional Programming","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126864464","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":"Reducing Recursion to Iteration by Means of Pairs and N-tuples","authors":"C. Böhm","doi":"10.1007/3-540-19129-1_3","DOIUrl":"https://doi.org/10.1007/3-540-19129-1_3","url":null,"abstract":"","PeriodicalId":269423,"journal":{"name":"Foundations of Logic and Functional Programming","volume":"1152 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122642570","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":"PAP: A Logic Programming System Based on a Constructive Logic","authors":"P. Miglioli, U. Moscato, Mario Ornaghi","doi":"10.1007/3-540-19129-1_6","DOIUrl":"https://doi.org/10.1007/3-540-19129-1_6","url":null,"abstract":"","PeriodicalId":269423,"journal":{"name":"Foundations of Logic and Functional Programming","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128853311","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":"Rule Rewriting Methods for Efficient Implementations of Horn Logic","authors":"C. Zaniolo, D. Saccá","doi":"10.1007/3-540-19129-1_5","DOIUrl":"https://doi.org/10.1007/3-540-19129-1_5","url":null,"abstract":"","PeriodicalId":269423,"journal":{"name":"Foundations of Logic and Functional Programming","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127410805","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":"Rum. An Intensional Theory of Function and Control Abstractions","authors":"C. Talcott","doi":"10.1007/3-540-19129-1_1","DOIUrl":"https://doi.org/10.1007/3-540-19129-1_1","url":null,"abstract":"","PeriodicalId":269423,"journal":{"name":"Foundations of Logic and Functional Programming","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126924303","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":"Horn: an Inference Engine Prototype to Implement Intelligent Systems","authors":"A. D'Angelo","doi":"10.1007/3-540-19129-1_9","DOIUrl":"https://doi.org/10.1007/3-540-19129-1_9","url":null,"abstract":"","PeriodicalId":269423,"journal":{"name":"Foundations of Logic and Functional Programming","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116875177","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 : 1986-12-15DOI: 10.1007/3-540-19129-1_10
E. Omodeo
{"title":"Hints for the Design of a Set Calculus Oriented to Automated Deduction","authors":"E. Omodeo","doi":"10.1007/3-540-19129-1_10","DOIUrl":"https://doi.org/10.1007/3-540-19129-1_10","url":null,"abstract":"","PeriodicalId":269423,"journal":{"name":"Foundations of Logic and Functional Programming","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125299812","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 Completeness Result for E-unification Algorithms Based on Conditional Narrowing","authors":"E. Giovannetti, C. Moiso","doi":"10.1007/3-540-19129-1_7","DOIUrl":"https://doi.org/10.1007/3-540-19129-1_7","url":null,"abstract":"","PeriodicalId":269423,"journal":{"name":"Foundations of Logic and Functional Programming","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123405005","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
扫码关注我们
求助内容：
应助结果提醒方式：