Pub Date : 1997-08-01DOI: 10.1007/978-3-7091-6510-2_5
H. Schlingloff, W. Heinle
{"title":"Relation Algebra and Modal Logics","authors":"H. Schlingloff, W. Heinle","doi":"10.1007/978-3-7091-6510-2_5","DOIUrl":"https://doi.org/10.1007/978-3-7091-6510-2_5","url":null,"abstract":"","PeriodicalId":277976,"journal":{"name":"Relational Methods in Computer Science","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127703877","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 : 1997-08-01DOI: 10.1007/978-3-7091-6510-2_8
R. Berghammer, B. Karger
{"title":"Relational Semantics of Functional Programs","authors":"R. Berghammer, B. Karger","doi":"10.1007/978-3-7091-6510-2_8","DOIUrl":"https://doi.org/10.1007/978-3-7091-6510-2_8","url":null,"abstract":"","PeriodicalId":277976,"journal":{"name":"Relational Methods in Computer Science","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131499447","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 : 1997-08-01DOI: 10.1007/978-3-7091-6510-2_14
P. Blackburn, M. de Rijke, Y. Venema
{"title":"Logic, Language, and Information","authors":"P. Blackburn, M. de Rijke, Y. Venema","doi":"10.1007/978-3-7091-6510-2_14","DOIUrl":"https://doi.org/10.1007/978-3-7091-6510-2_14","url":null,"abstract":"","PeriodicalId":277976,"journal":{"name":"Relational Methods in Computer Science","volume":"170 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129416665","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 : 1997-08-01DOI: 10.1007/978-3-7091-6510-2_7
J. Desharnais, Bernard R. Hodgson, J. Mullins
{"title":"Linear Logic","authors":"J. Desharnais, Bernard R. Hodgson, J. Mullins","doi":"10.1007/978-3-7091-6510-2_7","DOIUrl":"https://doi.org/10.1007/978-3-7091-6510-2_7","url":null,"abstract":"","PeriodicalId":277976,"journal":{"name":"Relational Methods in Computer Science","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116787820","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 : 1997-08-01DOI: 10.1007/978-3-7091-6510-2_10
Henk Doornbos, N. V. Gasteren, R. Backhouse
{"title":"Programs and Datatypes","authors":"Henk Doornbos, N. V. Gasteren, R. Backhouse","doi":"10.1007/978-3-7091-6510-2_10","DOIUrl":"https://doi.org/10.1007/978-3-7091-6510-2_10","url":null,"abstract":"","PeriodicalId":277976,"journal":{"name":"Relational Methods in Computer Science","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130306982","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 : 1997-08-01DOI: 10.1007/978-3-7091-6510-2_9
R. Berghammer, B. Karger
{"title":"Algorithms from Relational Specifications","authors":"R. Berghammer, B. Karger","doi":"10.1007/978-3-7091-6510-2_9","DOIUrl":"https://doi.org/10.1007/978-3-7091-6510-2_9","url":null,"abstract":"","PeriodicalId":277976,"journal":{"name":"Relational Methods in Computer Science","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124219186","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
扫码关注我们
求助内容：
应助结果提醒方式：