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

Bull. EATCS最新文献

筛选
英文 中文
The representation of a program in the Blum-Shub-Smale theory of computation over an arbitrary ring 任意环上计算的Blum-Shub-Smale理论中程序的表示
Bull. EATCS Pub Date : 1993-10-01 DOI: 10.1145/166589.166596
Hu Xiao-Long
{"title":"The representation of a program in the Blum-Shub-Smale theory of computation over an arbitrary ring","authors":"Hu Xiao-Long","doi":"10.1145/166589.166596","DOIUrl":"https://doi.org/10.1145/166589.166596","url":null,"abstract":"In the paper \"On a Theory of Computation and Complexity over the Real Numbers: NP Completeness, Recursive Functions and Universal machines\" (BSS 1989), the authors, Lenore Blum, Mike Shub, and Steve Smale, generalize the notion of computability from the set of natural numbers to an arbitrary ordered ring. In particular they discuss the existence of a Universal Machine over such a ring and the \"godel\" number or \"code\" of machines defined on such a ring. In this short paper we wish to correct some minor error in their definition of a \"code\" of a machine.","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114193974","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
Memory and algebra 记忆与代数
Bull. EATCS Pub Date : 1989-08-28 DOI: 10.1007/3-540-51486-4_77
C. Jousselin, J. Moskowitz
{"title":"Memory and algebra","authors":"C. Jousselin, J. Moskowitz","doi":"10.1007/3-540-51486-4_77","DOIUrl":"https://doi.org/10.1007/3-540-51486-4_77","url":null,"abstract":"","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134558973","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
An overview of Miranda 米兰达概述
Bull. EATCS Pub Date : 1986-12-01 DOI: 10.1145/15042.15053
David Turner
{"title":"An overview of Miranda","authors":"David Turner","doi":"10.1145/15042.15053","DOIUrl":"https://doi.org/10.1145/15042.15053","url":null,"abstract":"Miranda is an advanced functional programming system which runs under the UNIX operating system 1 . The aim of the Miranda system is to provide a modern functional language, embedded in a convenient programming environment, suitable both for teaching and as a general purpose programming tool. The purpose of this short article is to give a brief overview of the main features of Miranda. The topics we shall discuss, in order, are: Basic ideas The Miranda programming environment Guarded equations and block structure Pattern matching Currying and higher order functions List comprehensions Lazy evaluation and infinite lists Polymorphic strong typing User defined types Type synonyms","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128920244","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}
引用次数: 70
Newman's lemma - a case study in proof automation and geometric logic, Logic in Computer Science Column 纽曼引理——证明自动化和几何逻辑的案例研究，《计算机科学逻辑》专栏
Bull. EATCS Pub Date : 1900-01-01 DOI: 10.1142/9789812562494_0050
M. Bezem, T. Coquand
{"title":"Newman's lemma - a case study in proof automation and geometric logic, Logic in Computer Science Column","authors":"M. Bezem, T. Coquand","doi":"10.1142/9789812562494_0050","DOIUrl":"https://doi.org/10.1142/9789812562494_0050","url":null,"abstract":"","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"20 12","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120916097","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}
引用次数: 22
Analysis of Algorithms (AofA) Part II: 1998-2000 ("Princeton-Barcelona-Gdansk") 算法分析(AofA)第二部分:1998-2000(“普林斯顿-巴塞罗那-格但斯克”)
Bull. EATCS Pub Date : 1900-01-01 DOI: 10.1142/9789812562494_0005
M. Drmota, W. Szpankowski
{"title":"Analysis of Algorithms (AofA) Part II: 1998-2000 (\"Princeton-Barcelona-Gdansk\")","authors":"M. Drmota, W. Szpankowski","doi":"10.1142/9789812562494_0005","DOIUrl":"https://doi.org/10.1142/9789812562494_0005","url":null,"abstract":"","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"22 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":"125846924","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
A Foundation of Computable Analysis 可计算分析基础
Bull. EATCS Pub Date : 1900-01-01 DOI: 10.1007/BFb0052087
K. Weihrauch
{"title":"A Foundation of Computable Analysis","authors":"K. Weihrauch","doi":"10.1007/BFb0052087","DOIUrl":"https://doi.org/10.1007/BFb0052087","url":null,"abstract":"","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"22 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":"122313612","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}
引用次数: 57
Is #P Closed under Substraction? P在减法下闭合吗?
Bull. EATCS Pub Date : 1900-01-01 DOI: 10.1142/9789812794499_0039
L. Hemaspaandra, M. Ogihara
{"title":"Is #P Closed under Substraction?","authors":"L. Hemaspaandra, M. Ogihara","doi":"10.1142/9789812794499_0039","DOIUrl":"https://doi.org/10.1142/9789812794499_0039","url":null,"abstract":"","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"95 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":"116719326","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
Biomolecular Automata
Bull. EATCS Pub Date : 1900-01-01 DOI: 10.1007/978-1-59745-218-2_11
N. Jonoska
{"title":"Biomolecular Automata","authors":"N. Jonoska","doi":"10.1007/978-1-59745-218-2_11","DOIUrl":"https://doi.org/10.1007/978-1-59745-218-2_11","url":null,"abstract":"","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"3 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":"128464565","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
Declarative Semantics of Logic Programming 逻辑编程的声明语义
Bull. EATCS Pub Date : 1900-01-01 DOI: 10.1142/9789812794499_0026
K. Kunen
{"title":"Declarative Semantics of Logic Programming","authors":"K. Kunen","doi":"10.1142/9789812794499_0026","DOIUrl":"https://doi.org/10.1142/9789812794499_0026","url":null,"abstract":"","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"44 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":"130379975","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
Artificial Chemistries 人工化学
Bull. EATCS Pub Date : 1900-01-01 DOI: 10.1007/springerreference_221624
P. S. D. Fenizio
{"title":"Artificial Chemistries","authors":"P. S. D. Fenizio","doi":"10.1007/springerreference_221624","DOIUrl":"https://doi.org/10.1007/springerreference_221624","url":null,"abstract":"","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"1 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":"129300801","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}
引用次数: 63
首页 上一页 下一页 尾页
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学术官方微信