Relation Algebra and Modal Logics. Schlingloff, H. & Heinle, W. In Brink, C., Kahl, W., & Schmidt, G., editors, *Relational Methods in Computer Science*, of *Advances in Computer Science*, pages 20–89. Springer, 1998. bibtex @InCollection{sh98,
Author = {Holger Schlingloff and Wolfgang Heinle},
Title = {Relation Algebra and Modal Logics},
BookTitle = {Relational Methods in Computer Science},
Publisher = {Springer},
Editor = {Chris Brink and Wolfram Kahl and Gunther Schmidt},
Series = {Advances in Computer Science},
Pages = {20{--}89},
year = 1998
}

Downloads: 0

{"_id":"dbwCAxhWw2GRCXWdX","bibbaseid":"schlingloff-heinle-relationalgebraandmodallogics-1998","authorIDs":[],"author_short":["Schlingloff, H.","Heinle, W."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Holger"],"propositions":[],"lastnames":["Schlingloff"],"suffixes":[]},{"firstnames":["Wolfgang"],"propositions":[],"lastnames":["Heinle"],"suffixes":[]}],"title":"Relation Algebra and Modal Logics","booktitle":"Relational Methods in Computer Science","publisher":"Springer","editor":[{"firstnames":["Chris"],"propositions":[],"lastnames":["Brink"],"suffixes":[]},{"firstnames":["Wolfram"],"propositions":[],"lastnames":["Kahl"],"suffixes":[]},{"firstnames":["Gunther"],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]}],"series":"Advances in Computer Science","pages":"20–89","year":"1998","bibtex":"@InCollection{sh98,\n Author = {Holger Schlingloff and Wolfgang Heinle},\n Title = {Relation Algebra and Modal Logics},\n BookTitle = {Relational Methods in Computer Science},\n Publisher = {Springer},\n Editor = {Chris Brink and Wolfram Kahl and Gunther Schmidt},\n Series = {Advances in Computer Science},\n Pages = {20{--}89},\n year = 1998\n}\n\n","author_short":["Schlingloff, H.","Heinle, W."],"editor_short":["Brink, C.","Kahl, W.","Schmidt, G."],"key":"sh98","id":"sh98","bibbaseid":"schlingloff-heinle-relationalgebraandmodallogics-1998","role":"author","urls":{},"downloads":0},"bibtype":"incollection","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.131Z","downloads":0,"keywords":[],"search_terms":["relation","algebra","modal","logics","schlingloff","heinle"],"title":"Relation Algebra and Modal Logics","year":1998,"dataSources":["jFQMeatnEb8qn3qdH"]}