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

Baltic Computer Science最新文献

筛选
英文 中文
Automatic Construction of Test Sets: Theoretical Approach 测试集的自动构建:理论方法
Baltic Computer Science Pub Date : 1900-01-01 DOI: 10.1007/BFb0019362
A. Auzins, J. Barzdins, J. Bičevskis, Kārlis Čerāns, A. Kalnins
{"title":"Automatic Construction of Test Sets: Theoretical Approach","authors":"A. Auzins, J. Barzdins, J. Bičevskis, Kārlis Čerāns, A. Kalnins","doi":"10.1007/BFb0019362","DOIUrl":"https://doi.org/10.1007/BFb0019362","url":null,"abstract":"","PeriodicalId":115337,"journal":{"name":"Baltic Computer Science","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":"114360030","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}
引用次数: 24
Automatic Construction of Test Sets: Practical Approach 测试集的自动构建:实用方法
Baltic Computer Science Pub Date : 1900-01-01 DOI: 10.1007/BFb0019363
Juris Borzovs, A. Kalnins, Inga Medvedis
{"title":"Automatic Construction of Test Sets: Practical Approach","authors":"Juris Borzovs, A. Kalnins, Inga Medvedis","doi":"10.1007/BFb0019363","DOIUrl":"https://doi.org/10.1007/BFb0019363","url":null,"abstract":"","PeriodicalId":115337,"journal":{"name":"Baltic Computer Science","volume":"27 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":"125190332","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}
引用次数: 9
Investigation of Finitary Calculus for a Discrete Linear Time Logic by means of Infinitary Calculus 用无穷微积分研究离散线性时间逻辑的有限微积分
Baltic Computer Science Pub Date : 1900-01-01 DOI: 10.1007/BFb0019366
R. Pliuskevicius
{"title":"Investigation of Finitary Calculus for a Discrete Linear Time Logic by means of Infinitary Calculus","authors":"R. Pliuskevicius","doi":"10.1007/BFb0019366","DOIUrl":"https://doi.org/10.1007/BFb0019366","url":null,"abstract":"","PeriodicalId":115337,"journal":{"name":"Baltic Computer Science","volume":"10 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":"115599863","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}
引用次数: 35
Inductive Synthesis of Term Rewritin Systems 项重写系统的归纳综合
Baltic Computer Science Pub Date : 1900-01-01 DOI: 10.1007/BFb0019361
Guntis Barzdins
{"title":"Inductive Synthesis of Term Rewritin Systems","authors":"Guntis Barzdins","doi":"10.1007/BFb0019361","DOIUrl":"https://doi.org/10.1007/BFb0019361","url":null,"abstract":"","PeriodicalId":115337,"journal":{"name":"Baltic Computer Science","volume":"9 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":"116079396","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}
引用次数: 6
Type-theoretical Semantics of Some Declarative Languages 一些声明性语言的类型理论语义
Baltic Computer Science Pub Date : 1900-01-01 DOI: 10.1007/BFb0019354
G. Mints, Jan M. Smith, E. Tyugu
{"title":"Type-theoretical Semantics of Some Declarative Languages","authors":"G. Mints, Jan M. Smith, E. Tyugu","doi":"10.1007/BFb0019354","DOIUrl":"https://doi.org/10.1007/BFb0019354","url":null,"abstract":"","PeriodicalId":115337,"journal":{"name":"Baltic Computer Science","volume":"36 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":"122021034","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
RIGAL - a Programming Language for Compiler Writing 用于编写编译器的编程语言
Baltic Computer Science Pub Date : 1900-01-01 DOI: 10.1007/BFb0019367
M. Auguston
{"title":"RIGAL - a Programming Language for Compiler Writing","authors":"M. Auguston","doi":"10.1007/BFb0019367","DOIUrl":"https://doi.org/10.1007/BFb0019367","url":null,"abstract":"","PeriodicalId":115337,"journal":{"name":"Baltic Computer Science","volume":"47 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":"121825028","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}
引用次数: 10
Aggregate Approach for Specification, Validation, Simulation and Implementation of Computer Network Protocols 计算机网络协议规范、验证、仿真和实现的聚合方法
Baltic Computer Science Pub Date : 1900-01-01 DOI: 10.1007/BFb0019364
H. Pranevitchius
{"title":"Aggregate Approach for Specification, Validation, Simulation and Implementation of Computer Network Protocols","authors":"H. Pranevitchius","doi":"10.1007/BFb0019364","DOIUrl":"https://doi.org/10.1007/BFb0019364","url":null,"abstract":"","PeriodicalId":115337,"journal":{"name":"Baltic Computer Science","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":"130660918","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
Some Models of Inductive Syntactical Synthesis from Sample Computations 基于实例计算的归纳句法综合模型
Baltic Computer Science Pub Date : 1900-01-01 DOI: 10.1007/BFb0019360
E. Kinber
{"title":"Some Models of Inductive Syntactical Synthesis from Sample Computations","authors":"E. Kinber","doi":"10.1007/BFb0019360","DOIUrl":"https://doi.org/10.1007/BFb0019360","url":null,"abstract":"","PeriodicalId":115337,"journal":{"name":"Baltic Computer Science","volume":"6 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":"122200003","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
Inductive Synthesis of Dot Expressions 点表达式的归纳综合
Baltic Computer Science Pub Date : 1900-01-01 DOI: 10.1007/BFb0019359
A. Brazma
{"title":"Inductive Synthesis of Dot Expressions","authors":"A. Brazma","doi":"10.1007/BFb0019359","DOIUrl":"https://doi.org/10.1007/BFb0019359","url":null,"abstract":"","PeriodicalId":115337,"journal":{"name":"Baltic Computer Science","volume":"12 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":"123055517","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
Inductive Inference of Recursive Functions: Complexity Bounds 递归函数的归纳推理:复杂度界
Baltic Computer Science Pub Date : 1900-01-01 DOI: 10.1007/BFb0019358
R. Freivalds, J. Barzdins, K. Podnieks
{"title":"Inductive Inference of Recursive Functions: Complexity Bounds","authors":"R. Freivalds, J. Barzdins, K. Podnieks","doi":"10.1007/BFb0019358","DOIUrl":"https://doi.org/10.1007/BFb0019358","url":null,"abstract":"","PeriodicalId":115337,"journal":{"name":"Baltic Computer Science","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":"115528309","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}
引用次数: 26
下一页 尾页
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学术官方微信
小红书