{"title":"Modal Logics for Finite Graphs","authors":"M. Benevides","doi":"10.1007/0-306-48088-3_6","DOIUrl":"https://doi.org/10.1007/0-306-48088-3_6","url":null,"abstract":"","PeriodicalId":410100,"journal":{"name":"Logic for Concurrency and Synchronisation","volume":"35 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":"123351953","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}
{"title":"Chu's Construction: A Proof-Theoretic Approach","authors":"G. Bellin","doi":"10.1007/0-306-48088-3_2","DOIUrl":"https://doi.org/10.1007/0-306-48088-3_2","url":null,"abstract":"","PeriodicalId":410100,"journal":{"name":"Logic for Concurrency and Synchronisation","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":"126299816","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}
{"title":"Bisimulation and Language Equivalence","authors":"C. Stirling","doi":"10.1007/0-306-48088-3_7","DOIUrl":"https://doi.org/10.1007/0-306-48088-3_7","url":null,"abstract":"","PeriodicalId":410100,"journal":{"name":"Logic for Concurrency and Synchronisation","volume":"152 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":"122934386","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}
{"title":"Geometry of Deduction Via Graphs of Proofs","authors":"A. Oliveira, R. D. Queiroz","doi":"10.1007/0-306-48088-3_1","DOIUrl":"https://doi.org/10.1007/0-306-48088-3_1","url":null,"abstract":"","PeriodicalId":410100,"journal":{"name":"Logic for Concurrency and Synchronisation","volume":"48 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":"116126599","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}
{"title":"A Tutorial Introduction to Symbolic Model Checking","authors":"D. Déharbe","doi":"10.1007/0-306-48088-3_5","DOIUrl":"https://doi.org/10.1007/0-306-48088-3_5","url":null,"abstract":"","PeriodicalId":410100,"journal":{"name":"Logic for Concurrency and Synchronisation","volume":"94 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":"132785091","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}
{"title":"Two Paradigms of Logical Computation in Affine Logic?","authors":"G. Bellin","doi":"10.1007/0-306-48088-3_3","DOIUrl":"https://doi.org/10.1007/0-306-48088-3_3","url":null,"abstract":"","PeriodicalId":410100,"journal":{"name":"Logic for Concurrency and Synchronisation","volume":"31 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":"134345610","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号
求助内容：
应助结果提醒方式：