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

Constructivity in Computer Science最新文献

筛选
英文 中文
A Simple and Powerful Approach for Studying Constructivity, Computability, and Complexity 一个简单而有力的方法来研究建构性、可计算性和复杂性
Constructivity in Computer Science Pub Date : 1992-06-19 DOI: 10.1007/BFb0021094
K. Weihrauch
{"title":"A Simple and Powerful Approach for Studying Constructivity, Computability, and Complexity","authors":"K. Weihrauch","doi":"10.1007/BFb0021094","DOIUrl":"https://doi.org/10.1007/BFb0021094","url":null,"abstract":"","PeriodicalId":110601,"journal":{"name":"Constructivity in Computer Science","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115068327","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
Connecting Formal Semantics to Constructive Intuitions 将形式语义与建构性直觉联系起来
Constructivity in Computer Science Pub Date : 1992-06-19 DOI: 10.1007/BFb0021079
S. Kurtz, John C. Mitchell, Michael J. O'Donnell
{"title":"Connecting Formal Semantics to Constructive Intuitions","authors":"S. Kurtz, John C. Mitchell, Michael J. O'Donnell","doi":"10.1007/BFb0021079","DOIUrl":"https://doi.org/10.1007/BFb0021079","url":null,"abstract":"","PeriodicalId":110601,"journal":{"name":"Constructivity in Computer Science","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132858542","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
Kripke Semantics for Dependent Type Theory and Realizability Interpretations 依赖类型论的Kripke语义与可实现性解释
Constructivity in Computer Science Pub Date : 1992-06-19 DOI: 10.1007/BFb0021080
James Lipton
{"title":"Kripke Semantics for Dependent Type Theory and Realizability Interpretations","authors":"James Lipton","doi":"10.1007/BFb0021080","DOIUrl":"https://doi.org/10.1007/BFb0021080","url":null,"abstract":"","PeriodicalId":110601,"journal":{"name":"Constructivity in Computer Science","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133858232","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
Development Transformation Based on Higher Order Type Theory 基于高阶型理论的发展转型
Constructivity in Computer Science Pub Date : 1992-06-19 DOI: 10.1007/BFb0021083
Jianguo Lu, Jiafu Xu
{"title":"Development Transformation Based on Higher Order Type Theory","authors":"Jianguo Lu, Jiafu Xu","doi":"10.1007/BFb0021083","DOIUrl":"https://doi.org/10.1007/BFb0021083","url":null,"abstract":"","PeriodicalId":110601,"journal":{"name":"Constructivity in Computer Science","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122735011","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
The Type Structure of CAT CAT的类型结构
Constructivity in Computer Science Pub Date : 1992-06-19 DOI: 10.1007/BFb0021093
J. Paul Myers, Ronald E. Prather
{"title":"The Type Structure of CAT","authors":"J. Paul Myers, Ronald E. Prather","doi":"10.1007/BFb0021093","DOIUrl":"https://doi.org/10.1007/BFb0021093","url":null,"abstract":"","PeriodicalId":110601,"journal":{"name":"Constructivity in Computer Science","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123812517","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
Bringing Mathematics Education into the Algorithmic Age 将数学教育带入算法时代
Constructivity in Computer Science Pub Date : 1992-06-19 DOI: 10.1007/BFb0021092
N. Greenleaf
{"title":"Bringing Mathematics Education into the Algorithmic Age","authors":"N. Greenleaf","doi":"10.1007/BFb0021092","DOIUrl":"https://doi.org/10.1007/BFb0021092","url":null,"abstract":"","PeriodicalId":110601,"journal":{"name":"Constructivity in Computer Science","volume":"116 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124334032","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
A Logical View of Assignments 分配的逻辑视图
Constructivity in Computer Science Pub Date : 1992-06-19 DOI: 10.1007/BFb0021087
Vipin Swarup, U. Reddy
{"title":"A Logical View of Assignments","authors":"Vipin Swarup, U. Reddy","doi":"10.1007/BFb0021087","DOIUrl":"https://doi.org/10.1007/BFb0021087","url":null,"abstract":"","PeriodicalId":110601,"journal":{"name":"Constructivity in Computer Science","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115523679","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
Constructivity Issues in Graph Algorithms 图算法中的构造性问题
Constructivity in Computer Science Pub Date : 1992-06-19 DOI: 10.1007/BFb0021088
M. Fellows, M. Langston
{"title":"Constructivity Issues in Graph Algorithms","authors":"M. Fellows, M. Langston","doi":"10.1007/BFb0021088","DOIUrl":"https://doi.org/10.1007/BFb0021088","url":null,"abstract":"","PeriodicalId":110601,"journal":{"name":"Constructivity in Computer Science","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127851982","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
Examples of Semicomputable Sets of Real and Complex Numbers 实数和复数半可计算集的例子
Constructivity in Computer Science Pub Date : 1992-06-19 DOI: 10.1007/BFb0021091
J. V. Tucker, J. Zucker
{"title":"Examples of Semicomputable Sets of Real and Complex Numbers","authors":"J. V. Tucker, J. Zucker","doi":"10.1007/BFb0021091","DOIUrl":"https://doi.org/10.1007/BFb0021091","url":null,"abstract":"","PeriodicalId":110601,"journal":{"name":"Constructivity in Computer Science","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124145953","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}
引用次数: 15
Classical Type Theory 经典类型理论
Constructivity in Computer Science Pub Date : 1992-06-19 DOI: 10.1007/BFb0021085
M. Napierala
{"title":"Classical Type Theory","authors":"M. Napierala","doi":"10.1007/BFb0021085","DOIUrl":"https://doi.org/10.1007/BFb0021085","url":null,"abstract":"","PeriodicalId":110601,"journal":{"name":"Constructivity in Computer Science","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126734774","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
下一页 尾页
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学术官方微信