Pub Date : 1988-11-14DOI: 10.1007/3-540-50667-5_69
H. Hansen, M. Löwe
{"title":"Modular Algebraic Specifications","authors":"H. Hansen, M. Löwe","doi":"10.1007/3-540-50667-5_69","DOIUrl":"https://doi.org/10.1007/3-540-50667-5_69","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121912746","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 : 1988-11-14DOI: 10.1007/3-540-50667-5_53
J. Bergstra
{"title":"ACP with Signals","authors":"J. Bergstra","doi":"10.1007/3-540-50667-5_53","DOIUrl":"https://doi.org/10.1007/3-540-50667-5_53","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115500701","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 : 1988-11-14DOI: 10.1007/3-540-50667-5_68
Hans-Joachim Goltz
{"title":"Functional Data Term Models and Semantic Unification","authors":"Hans-Joachim Goltz","doi":"10.1007/3-540-50667-5_68","DOIUrl":"https://doi.org/10.1007/3-540-50667-5_68","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128605619","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 : 1988-11-14DOI: 10.1007/3-540-50667-5_77
Jia-Huai You
{"title":"Solving Equations in an Equational Language","authors":"Jia-Huai You","doi":"10.1007/3-540-50667-5_77","DOIUrl":"https://doi.org/10.1007/3-540-50667-5_77","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"129 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113970033","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 : 1988-11-14DOI: 10.1007/3-540-50667-5_72
G. Kucherov
{"title":"A New Quasi-Reducibility Testing Algorithm and its Application to Proofs by Induction","authors":"G. Kucherov","doi":"10.1007/3-540-50667-5_72","DOIUrl":"https://doi.org/10.1007/3-540-50667-5_72","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114682038","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 : 1988-11-14DOI: 10.1007/3-540-50667-5_64
George Dayantis
{"title":"Types, Modularisation and Abstraction in Logic Programming","authors":"George Dayantis","doi":"10.1007/3-540-50667-5_64","DOIUrl":"https://doi.org/10.1007/3-540-50667-5_64","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131520668","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 : 1988-11-14DOI: 10.1007/3-540-50667-5_60
A. Bockmayr
{"title":"Narrowing with Built-In Theories","authors":"A. Bockmayr","doi":"10.1007/3-540-50667-5_60","DOIUrl":"https://doi.org/10.1007/3-540-50667-5_60","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125122984","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/3-540-53162-9_30
Françoise Clérin-Debart, P. Enjalbert, M. Lescot
{"title":"Multi-Modal Logic Programming using Equational and Order-Sorted Logic","authors":"Françoise Clérin-Debart, P. Enjalbert, M. Lescot","doi":"10.1007/3-540-53162-9_30","DOIUrl":"https://doi.org/10.1007/3-540-53162-9_30","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"30 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131776612","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/3-540-53162-9_38
Taisuke Sato
{"title":"An Equivalence Preserving First Order Unfold/fold Transformation System","authors":"Taisuke Sato","doi":"10.1007/3-540-53162-9_38","DOIUrl":"https://doi.org/10.1007/3-540-53162-9_38","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"83 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":"123386731","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
扫码关注我们
求助内容：
应助结果提醒方式：