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

Colloquium on Trees in Algebra and Programming最新文献

筛选
英文 中文
Empty Stack Pushdown Omega-Tree Automata 空堆栈下推Omega-Tree自动机
Colloquium on Trees in Algebra and Programming Pub Date : 1992-02-26 DOI: 10.1007/3-540-55251-0_14
W. Peng, S. Iyer
{"title":"Empty Stack Pushdown Omega-Tree Automata","authors":"W. Peng, S. Iyer","doi":"10.1007/3-540-55251-0_14","DOIUrl":"https://doi.org/10.1007/3-540-55251-0_14","url":null,"abstract":"","PeriodicalId":332808,"journal":{"name":"Colloquium on Trees in Algebra and Programming","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123701860","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}
引用次数: 2
Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications 超越条件方程:参数代数规范的拟初值语义
Colloquium on Trees in Algebra and Programming Pub Date : 1992-02-26 DOI: 10.1007/3-540-55251-0_19
U. Wolter, M. Löwe
{"title":"Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications","authors":"U. Wolter, M. Löwe","doi":"10.1007/3-540-55251-0_19","DOIUrl":"https://doi.org/10.1007/3-540-55251-0_19","url":null,"abstract":"","PeriodicalId":332808,"journal":{"name":"Colloquium on Trees in Algebra and Programming","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127324708","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
Power Domains Supporting Recursion and Failure 支持递归和故障的功率域
Colloquium on Trees in Algebra and Programming Pub Date : 1992-02-26 DOI: 10.1007/3-540-55251-0_9
Reinhold Heckmann
{"title":"Power Domains Supporting Recursion and Failure","authors":"Reinhold Heckmann","doi":"10.1007/3-540-55251-0_9","DOIUrl":"https://doi.org/10.1007/3-540-55251-0_9","url":null,"abstract":"","PeriodicalId":332808,"journal":{"name":"Colloquium on Trees in Algebra and Programming","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123779152","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 Programming Language for Deriving Hypergraphs 一种派生超图的程序设计语言
Colloquium on Trees in Algebra and Programming Pub Date : 1992-02-26 DOI: 10.1007/3-540-55251-0_12
A. Maggiolo-Schettini, J. Winkowski
{"title":"A Programming Language for Deriving Hypergraphs","authors":"A. Maggiolo-Schettini, J. Winkowski","doi":"10.1007/3-540-55251-0_12","DOIUrl":"https://doi.org/10.1007/3-540-55251-0_12","url":null,"abstract":"","PeriodicalId":332808,"journal":{"name":"Colloquium on Trees in Algebra and Programming","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125048562","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}
引用次数: 5
Modulo Counting Quantifiers Over Finite Trees 有限树上的模计数量词
Colloquium on Trees in Algebra and Programming Pub Date : 1992-02-26 DOI: 10.1007/3-540-55251-0_15
A. Potthoff
{"title":"Modulo Counting Quantifiers Over Finite Trees","authors":"A. Potthoff","doi":"10.1007/3-540-55251-0_15","DOIUrl":"https://doi.org/10.1007/3-540-55251-0_15","url":null,"abstract":"","PeriodicalId":332808,"journal":{"name":"Colloquium on Trees in Algebra and Programming","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125506609","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}
引用次数: 29
Decidability of Reachability and Disjoint Union of Term Rewriting Systems 项重写系统的可达性与不相交并的可判定性
Colloquium on Trees in Algebra and Programming Pub Date : 1992-02-26 DOI: 10.1007/3-540-55251-0_5
Anne-Cécile Caron
{"title":"Decidability of Reachability and Disjoint Union of Term Rewriting Systems","authors":"Anne-Cécile Caron","doi":"10.1007/3-540-55251-0_5","DOIUrl":"https://doi.org/10.1007/3-540-55251-0_5","url":null,"abstract":"","PeriodicalId":332808,"journal":{"name":"Colloquium on Trees in Algebra and Programming","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116323249","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
A Constructive Valuation Interpretation for Classical Logic and its Use in Witness Extraction 经典逻辑的建设性价值解释及其在证人提取中的应用
Colloquium on Trees in Algebra and Programming Pub Date : 1992-02-26 DOI: 10.1007/3-540-55251-0_1
F. Barbanera, S. Berardi
{"title":"A Constructive Valuation Interpretation for Classical Logic and its Use in Witness Extraction","authors":"F. Barbanera, S. Berardi","doi":"10.1007/3-540-55251-0_1","DOIUrl":"https://doi.org/10.1007/3-540-55251-0_1","url":null,"abstract":"","PeriodicalId":332808,"journal":{"name":"Colloquium on Trees in Algebra and Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128301949","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}
引用次数: 8
Varieties of Increasing Trees 增殖树品种
Colloquium on Trees in Algebra and Programming Pub Date : 1992-02-26 DOI: 10.1007/3-540-55251-0_2
F. Bergeron, P. Flajolet, B. Salvy
{"title":"Varieties of Increasing Trees","authors":"F. Bergeron, P. Flajolet, B. Salvy","doi":"10.1007/3-540-55251-0_2","DOIUrl":"https://doi.org/10.1007/3-540-55251-0_2","url":null,"abstract":"","PeriodicalId":332808,"journal":{"name":"Colloquium on Trees in Algebra and Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125648777","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}
引用次数: 229
Testing for Inductive (Co)-Reducibility 归纳(Co)可约性的检验
Colloquium on Trees in Algebra and Programming Pub Date : 1990-05-15 DOI: 10.1007/3-540-52590-4_51
Emmanuel Kounalis
{"title":"Testing for Inductive (Co)-Reducibility","authors":"Emmanuel Kounalis","doi":"10.1007/3-540-52590-4_51","DOIUrl":"https://doi.org/10.1007/3-540-52590-4_51","url":null,"abstract":"","PeriodicalId":332808,"journal":{"name":"Colloquium on Trees in Algebra and Programming","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124147803","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}
引用次数: 16
Trees Everywhere 树木到处都是
Colloquium on Trees in Algebra and Programming Pub Date : 1990-05-15 DOI: 10.1007/3-540-52590-4_38
X. Viennot
{"title":"Trees Everywhere","authors":"X. Viennot","doi":"10.1007/3-540-52590-4_38","DOIUrl":"https://doi.org/10.1007/3-540-52590-4_38","url":null,"abstract":"","PeriodicalId":332808,"journal":{"name":"Colloquium on Trees in Algebra and Programming","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131823025","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}
引用次数: 31
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信