Pub Date : 1996-09-25DOI: 10.1007/3-540-61735-3_16
R. Giacobazzi, Francesco Ranzato
{"title":"Complementing Logic Program Semantics","authors":"R. Giacobazzi, Francesco Ranzato","doi":"10.1007/3-540-61735-3_16","DOIUrl":"https://doi.org/10.1007/3-540-61735-3_16","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134285655","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 : 1996-09-25DOI: 10.1007/3-540-61735-3_20
J. Almendros-Jiménez, Antonio Gavilanes-Franco, Ana Gil-Luezas
{"title":"Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types","authors":"J. Almendros-Jiménez, Antonio Gavilanes-Franco, Ana Gil-Luezas","doi":"10.1007/3-540-61735-3_20","DOIUrl":"https://doi.org/10.1007/3-540-61735-3_20","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"147 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114525811","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":"Discrete Normalization and Standardization in Deterministic Residual Structures","authors":"Z. Khasidashvili, J. Glauert","doi":"10.1007/3-540-61735-3_9","DOIUrl":"https://doi.org/10.1007/3-540-61735-3_9","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"141 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126013498","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 : 1996-09-25DOI: 10.1007/3-540-61735-3_19
Maria C. F. Ferreira, D. Kesner, Laurence Puel
{"title":"Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization","authors":"Maria C. F. Ferreira, D. Kesner, Laurence Puel","doi":"10.1007/3-540-61735-3_19","DOIUrl":"https://doi.org/10.1007/3-540-61735-3_19","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"2 7","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113975566","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 : 1996-09-25DOI: 10.1007/3-540-61735-3_11
L. Brim, Jean-Marie Jacquet, D. Gilbert, M. Kretínský
{"title":"A Process Algebra for Synchronous Concurrent Constraint Programming","authors":"L. Brim, Jean-Marie Jacquet, D. Gilbert, M. Kretínský","doi":"10.1007/3-540-61735-3_11","DOIUrl":"https://doi.org/10.1007/3-540-61735-3_11","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132872432","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 : 1996-09-25DOI: 10.1007/3-540-61735-3_15
P. Volpe
{"title":"Abstractions of Uniform Proofs","authors":"P. Volpe","doi":"10.1007/3-540-61735-3_15","DOIUrl":"https://doi.org/10.1007/3-540-61735-3_15","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115459717","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":"Toward the Concurrent Implementation of Computational Systems","authors":"Ilies Alouini, C. Kirchner","doi":"10.1007/3-540-61735-3_1","DOIUrl":"https://doi.org/10.1007/3-540-61735-3_1","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121409783","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":"Independence in Dynamically Scheduled Logic Languages","authors":"M. G. D. L. Banda, M. Hermenegildo, K. Marriott","doi":"10.1007/3-540-61735-3_3","DOIUrl":"https://doi.org/10.1007/3-540-61735-3_3","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130488995","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 : 1996-09-25DOI: 10.1007/3-540-61735-3_18
K. Mano, Mizuhito Ogawa
{"title":"Unique Normal Form Property of Higher-Order Rewriting Systems","authors":"K. Mano, Mizuhito Ogawa","doi":"10.1007/3-540-61735-3_18","DOIUrl":"https://doi.org/10.1007/3-540-61735-3_18","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121307404","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
扫码关注我们
求助内容：
应助结果提醒方式：