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

Foundations of Software Science and Computation Structure最新文献

筛选
英文 中文
Optimal Satisfiability Checking for Arithmetic μ-Calculi 算法μ-微积分的最优可满足性检验
Foundations of Software Science and Computation Structure Pub Date : 2019-01-15 DOI: 10.1007/978-3-030-17127-8_16
D. Hausmann, Lutz Schröder
{"title":"Optimal Satisfiability Checking for Arithmetic μ-Calculi","authors":"D. Hausmann, Lutz Schröder","doi":"10.1007/978-3-030-17127-8_16","DOIUrl":"https://doi.org/10.1007/978-3-030-17127-8_16","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-01-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125269166","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
Languages ordered by the subword order 按子词顺序排列的语言
Foundations of Software Science and Computation Structure Pub Date : 2019-01-08 DOI: 10.1007/978-3-030-17127-8_20
D. Kuske, Georg Zetzsche
{"title":"Languages ordered by the subword order","authors":"D. Kuske, Georg Zetzsche","doi":"10.1007/978-3-030-17127-8_20","DOIUrl":"https://doi.org/10.1007/978-3-030-17127-8_20","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130805228","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}
引用次数: 17
Equational Axiomatization of Algebras with Structure 结构代数的等式公理化
Foundations of Software Science and Computation Structure Pub Date : 2018-12-05 DOI: 10.1007/978-3-030-17127-8_23
Stefan Milius, Henning Urbat
{"title":"Equational Axiomatization of Algebras with Structure","authors":"Stefan Milius, Henning Urbat","doi":"10.1007/978-3-030-17127-8_23","DOIUrl":"https://doi.org/10.1007/978-3-030-17127-8_23","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"65-66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123131680","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
Causal Inference by String Diagram Surgery 弦图手术的因果推理
Foundations of Software Science and Computation Structure Pub Date : 2018-11-20 DOI: 10.1007/978-3-030-17127-8_18
B. Jacobs, A. Kissinger, F. Zanasi
{"title":"Causal Inference by String Diagram Surgery","authors":"B. Jacobs, A. Kissinger, F. Zanasi","doi":"10.1007/978-3-030-17127-8_18","DOIUrl":"https://doi.org/10.1007/978-3-030-17127-8_18","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123111830","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}
引用次数: 41
The Impatient May Use Limited Optimism to Minimize Regret 没有耐心的人可能会用有限的乐观来减少遗憾
Foundations of Software Science and Computation Structure Pub Date : 2018-11-17 DOI: 10.1007/978-3-030-17127-8_8
M. Cadilhac, G. Pérez, Marie van den Bogaard
{"title":"The Impatient May Use Limited Optimism to Minimize Regret","authors":"M. Cadilhac, G. Pérez, Marie van den Bogaard","doi":"10.1007/978-3-030-17127-8_8","DOIUrl":"https://doi.org/10.1007/978-3-030-17127-8_8","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122091140","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
A Framework for Parameterized Monitorability 参数化监控的框架
Foundations of Software Science and Computation Structure Pub Date : 2018-04-16 DOI: 10.1007/978-3-319-89366-2_11
L. Aceto, A. Achilleos, Adrian Francalanza, A. Ingólfsdóttir
{"title":"A Framework for Parameterized Monitorability","authors":"L. Aceto, A. Achilleos, Adrian Francalanza, A. Ingólfsdóttir","doi":"10.1007/978-3-319-89366-2_11","DOIUrl":"https://doi.org/10.1007/978-3-319-89366-2_11","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"23 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131653039","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}
引用次数: 27
Minimization of Graph Weighted Models over Circular Strings 圆弦上图加权模型的最小化
Foundations of Software Science and Computation Structure Pub Date : 2018-04-16 DOI: 10.1007/978-3-319-89366-2_28
Guillaume Rabusseau
{"title":"Minimization of Graph Weighted Models over Circular Strings","authors":"Guillaume Rabusseau","doi":"10.1007/978-3-319-89366-2_28","DOIUrl":"https://doi.org/10.1007/978-3-319-89366-2_28","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115532591","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
Non-angelic Concurrent Game Semantics 非天使并发游戏语义
Foundations of Software Science and Computation Structure Pub Date : 2018-04-16 DOI: 10.1007/978-3-319-89366-2_1
Simon Castellan, P. Clairambault, Jonathan Hayman, G. Winskel
{"title":"Non-angelic Concurrent Game Semantics","authors":"Simon Castellan, P. Clairambault, Jonathan Hayman, G. Winskel","doi":"10.1007/978-3-319-89366-2_1","DOIUrl":"https://doi.org/10.1007/978-3-319-89366-2_1","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122100835","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}
引用次数: 13
A New Linear Logic for Deadlock-Free Session-Typed Processes 无死锁会话类型进程的一种新的线性逻辑
Foundations of Software Science and Computation Structure Pub Date : 2018-04-16 DOI: 10.1007/978-3-319-89366-2_5
Ornela Dardha, S. Gay
{"title":"A New Linear Logic for Deadlock-Free Session-Typed Processes","authors":"Ornela Dardha, S. Gay","doi":"10.1007/978-3-319-89366-2_5","DOIUrl":"https://doi.org/10.1007/978-3-319-89366-2_5","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"152 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123742506","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}
引用次数: 34
Categorical Combinatorics for Non Deterministic Strategies on Simple Games 简单对策上非确定性策略的分类组合
Foundations of Software Science and Computation Structure Pub Date : 2018-04-16 DOI: 10.1007/978-3-319-89366-2_3
C. Jacq, Paul-André Melliès
{"title":"Categorical Combinatorics for Non Deterministic Strategies on Simple Games","authors":"C. Jacq, Paul-André Melliès","doi":"10.1007/978-3-319-89366-2_3","DOIUrl":"https://doi.org/10.1007/978-3-319-89366-2_3","url":null,"abstract":"","PeriodicalId":330721,"journal":{"name":"Foundations of Software Science and Computation Structure","volume":"325 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114797532","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
首页 上一页 下一页 尾页
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学术官方微信