发布求助
文献互助 智能选刊 最新文献

International Conference on Algebraic and Logic Programming最新文献

筛选
英文 中文
Modular Algebraic Specifications 模代数规范
International Conference on Algebraic and Logic Programming Pub Date : 1988-11-14 DOI: 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}
引用次数: 1
ACP with Signals 带信号的ACP
International Conference on Algebraic and Logic Programming Pub Date : 1988-11-14 DOI: 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}
引用次数: 12
Functional Data Term Models and Semantic Unification 功能数据项模型与语义统一
International Conference on Algebraic and Logic Programming Pub Date : 1988-11-14 DOI: 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}
引用次数: 3
Solving Equations in an Equational Language 用方程语言求解方程
International Conference on Algebraic and Logic Programming Pub Date : 1988-11-14 DOI: 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}
引用次数: 7
A New Quasi-Reducibility Testing Algorithm and its Application to Proofs by Induction 一种新的拟可约性检验算法及其在归纳法证明中的应用
International Conference on Algebraic and Logic Programming Pub Date : 1988-11-14 DOI: 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}
引用次数: 11
Types, Modularisation and Abstraction in Logic Programming 逻辑程序设计中的类型、模块化和抽象
International Conference on Algebraic and Logic Programming Pub Date : 1988-11-14 DOI: 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}
引用次数: 4
Narrowing in Partial Conditional Equational Theories (Abstract) 部分条件方程理论中的窄化(摘要)
International Conference on Algebraic and Logic Programming Pub Date : 1988-11-14 DOI: 10.1007/3-540-50667-5_76
U. Wolter
{"title":"Narrowing in Partial Conditional Equational Theories (Abstract)","authors":"U. Wolter","doi":"10.1007/3-540-50667-5_76","DOIUrl":"https://doi.org/10.1007/3-540-50667-5_76","url":null,"abstract":"","PeriodicalId":130327,"journal":{"name":"International Conference on Algebraic and Logic Programming","volume":"108 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":"131358528","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}
引用次数: 0
Narrowing with Built-In Theories 用内置理论缩小范围
International Conference on Algebraic and Logic Programming Pub Date : 1988-11-14 DOI: 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}
引用次数: 7
Multi-Modal Logic Programming using Equational and Order-Sorted Logic 多模态逻辑规划使用方程和有序排序逻辑
International Conference on Algebraic and Logic Programming Pub Date : 1900-01-01 DOI: 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}
引用次数: 7
An Equivalence Preserving First Order Unfold/fold Transformation System 一个保持等价的一阶展开/折叠变换系统
International Conference on Algebraic and Logic Programming Pub Date : 1900-01-01 DOI: 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}
引用次数: 28
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信