Pub Date : 1990-10-01DOI: 10.1007/3-540-53162-9_41
K. Kanchanasut, Peter James Stuckey
{"title":"Eliminating Negation from Normal Logic Programs","authors":"K. Kanchanasut, Peter James Stuckey","doi":"10.1007/3-540-53162-9_41","DOIUrl":"https://doi.org/10.1007/3-540-53162-9_41","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127718870","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 : 1990-10-01DOI: 10.1007/3-540-53162-9_47
J. Moreno-Navarro, H. Kuchen, R. Loogen, M. Rodríguez-Artalejo
{"title":"Lazy Narrowing in a Graph Machine","authors":"J. Moreno-Navarro, H. Kuchen, R. Loogen, M. Rodríguez-Artalejo","doi":"10.1007/3-540-53162-9_47","DOIUrl":"https://doi.org/10.1007/3-540-53162-9_47","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133313134","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 : 1990-10-01DOI: 10.1007/3-540-53162-9_45
F. Bellegarde
{"title":"A Matching Process Modulo a Theory of Categorical Products","authors":"F. Bellegarde","doi":"10.1007/3-540-53162-9_45","DOIUrl":"https://doi.org/10.1007/3-540-53162-9_45","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125344794","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 : 1990-10-01DOI: 10.1007/3-540-53162-9_42
P. Saint-Dizier
{"title":"On Logic Programming Interpretations of Dislog: Programming Long-Distance Dependencies in Logic","authors":"P. Saint-Dizier","doi":"10.1007/3-540-53162-9_42","DOIUrl":"https://doi.org/10.1007/3-540-53162-9_42","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127154806","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 : 1990-10-01DOI: 10.1007/3-540-53162-9_35
Aïda Batarekh
{"title":"Fixpoint Techniques for Non-Monotone Maps","authors":"Aïda Batarekh","doi":"10.1007/3-540-53162-9_35","DOIUrl":"https://doi.org/10.1007/3-540-53162-9_35","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116556464","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 : 1990-10-01DOI: 10.1007/3-540-53162-9_46
N. Dershowitz, S. Mitra, G. Sivakumar
{"title":"Equation Solving in Conditional AC-Theories","authors":"N. Dershowitz, S. Mitra, G. Sivakumar","doi":"10.1007/3-540-53162-9_46","DOIUrl":"https://doi.org/10.1007/3-540-53162-9_46","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134071180","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 : 1990-10-01DOI: 10.1007/3-540-53162-9_49
Reinhard Bündgen
{"title":"Applying Term Rewriting Methods to Finite Groups","authors":"Reinhard Bündgen","doi":"10.1007/3-540-53162-9_49","DOIUrl":"https://doi.org/10.1007/3-540-53162-9_49","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"237 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121163187","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 : 1990-05-01DOI: 10.1007/3-540-50667-5_67
Zoltán Fülöp, S. Vágvölgyi
{"title":"A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting Systems by Tree Automata","authors":"Zoltán Fülöp, S. Vágvölgyi","doi":"10.1007/3-540-50667-5_67","DOIUrl":"https://doi.org/10.1007/3-540-50667-5_67","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126957041","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_65
K. Drosten
{"title":"Translating Algebraic Specifications to Prolog Programs: A Comparative Study","authors":"K. Drosten","doi":"10.1007/3-540-50667-5_65","DOIUrl":"https://doi.org/10.1007/3-540-50667-5_65","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"27 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":"125360499","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
扫码关注我们
求助内容：
应助结果提醒方式：