Pub Date : 2019-08-03DOI: 10.1007/978-3-540-78127-1_7
M. Baaz, R. Zach
{"title":"Effective Finite-Valued Approximations of General Propositional Logics","authors":"M. Baaz, R. Zach","doi":"10.1007/978-3-540-78127-1_7","DOIUrl":"https://doi.org/10.1007/978-3-540-78127-1_7","url":null,"abstract":"","PeriodicalId":120960,"journal":{"name":"Pillars of Computer Science","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130205945","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-540-78127-1_23
D. Leivant
{"title":"Reasoning in Dynamic Logic about Program Termination","authors":"D. Leivant","doi":"10.1007/978-3-540-78127-1_23","DOIUrl":"https://doi.org/10.1007/978-3-540-78127-1_23","url":null,"abstract":"","PeriodicalId":120960,"journal":{"name":"Pillars of 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":"114144531","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-540-78127-1_25
I. Lomazova
{"title":"Nested Petri Nets for Adaptive Process Modeling","authors":"I. Lomazova","doi":"10.1007/978-3-540-78127-1_25","DOIUrl":"https://doi.org/10.1007/978-3-540-78127-1_25","url":null,"abstract":"","PeriodicalId":120960,"journal":{"name":"Pillars of 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":"130961330","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-540-78127-1_30
B. Plotkin, T. Plotkin
{"title":"Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge","authors":"B. Plotkin, T. Plotkin","doi":"10.1007/978-3-540-78127-1_30","DOIUrl":"https://doi.org/10.1007/978-3-540-78127-1_30","url":null,"abstract":"","PeriodicalId":120960,"journal":{"name":"Pillars of Computer Science","volume":"39 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":"115107318","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-540-78127-1_19
D. Harel, S. Maoz, Itai Segall
{"title":"Some Results on the Expressive Power and Complexity of LSCs","authors":"D. Harel, S. Maoz, Itai Segall","doi":"10.1007/978-3-540-78127-1_19","DOIUrl":"https://doi.org/10.1007/978-3-540-78127-1_19","url":null,"abstract":"","PeriodicalId":120960,"journal":{"name":"Pillars of Computer Science","volume":"8 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":"117046149","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-540-78127-1_21
M. Kaminski, Tony Tan
{"title":"Tree Automata over Infinite Alphabets","authors":"M. Kaminski, Tony Tan","doi":"10.1007/978-3-540-78127-1_21","DOIUrl":"https://doi.org/10.1007/978-3-540-78127-1_21","url":null,"abstract":"","PeriodicalId":120960,"journal":{"name":"Pillars of Computer Science","volume":"103 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":"124705141","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-540-78127-1
A. Avron, N. Dershowitz, A. Rabinovich
{"title":"Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday","authors":"A. Avron, N. Dershowitz, A. Rabinovich","doi":"10.1007/978-3-540-78127-1","DOIUrl":"https://doi.org/10.1007/978-3-540-78127-1","url":null,"abstract":"","PeriodicalId":120960,"journal":{"name":"Pillars of Computer Science","volume":"43 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":"127501192","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-540-78127-1_33
César Sánchez, Matteo Slanina, H. B. Sipma, Z. Manna
{"title":"The Reaction Algebra: A Formal Language for Event Correlation","authors":"César Sánchez, Matteo Slanina, H. B. Sipma, Z. Manna","doi":"10.1007/978-3-540-78127-1_33","DOIUrl":"https://doi.org/10.1007/978-3-540-78127-1_33","url":null,"abstract":"","PeriodicalId":120960,"journal":{"name":"Pillars of 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":"129123697","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-540-78127-1_36
Moshe Y. Vardi
{"title":"From Monadic Logic to PSL","authors":"Moshe Y. Vardi","doi":"10.1007/978-3-540-78127-1_36","DOIUrl":"https://doi.org/10.1007/978-3-540-78127-1_36","url":null,"abstract":"","PeriodicalId":120960,"journal":{"name":"Pillars of Computer Science","volume":"71 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":"131463292","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：