@article{journals/jlp/BerghammerSW19,
  added-at = {2020-04-01T00:00:00.000+0200},
  author = {Berghammer, Rudolf and Schmidt, Gunther and Winter, Michael},
  biburl = {https://www.bibsonomy.org/bibtex/2217acc0616a2eac46a8fc267d731bf62/dblp},
  ee = {https://doi.org/10.1016/j.jlamp.2018.09.004},
  interhash = {8e1797e60d4dbc3117098c2509c787e8},
  intrahash = {217acc0616a2eac46a8fc267d731bf62},
  journal = {J. Log. Algebraic Methods Program.},
  keywords = {dblp},
  pages = {17-45},
  timestamp = {2020-04-02T11:38:26.000+0200},
  title = {Cryptomorphic topological structures: A computational, relation-algebraic approach.},
  url = {http://dblp.uni-trier.de/db/journals/jlp/jlp102.html#BerghammerSW19},
  volume = 102,
  year = 2019
}

{"_id":"dKD844N5XJemdGFb2","bibbaseid":"berghammer-schmidt-winter-cryptomorphictopologicalstructuresacomputationalrelationalgebraicapproach-2019","authorIDs":[],"author_short":["Berghammer, R.","Schmidt, G.","Winter, M."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-04-01T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Berghammer"],"firstnames":["Rudolf"],"suffixes":[]},{"propositions":[],"lastnames":["Schmidt"],"firstnames":["Gunther"],"suffixes":[]},{"propositions":[],"lastnames":["Winter"],"firstnames":["Michael"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2217acc0616a2eac46a8fc267d731bf62/dblp","ee":"https://doi.org/10.1016/j.jlamp.2018.09.004","interhash":"8e1797e60d4dbc3117098c2509c787e8","intrahash":"217acc0616a2eac46a8fc267d731bf62","journal":"J. Log. Algebraic Methods Program.","keywords":"dblp","pages":"17-45","timestamp":"2020-04-02T11:38:26.000+0200","title":"Cryptomorphic topological structures: A computational, relation-algebraic approach.","url":"http://dblp.uni-trier.de/db/journals/jlp/jlp102.html#BerghammerSW19","volume":"102","year":"2019","bibtex":"@article{journals/jlp/BerghammerSW19,\n added-at = {2020-04-01T00:00:00.000+0200},\n author = {Berghammer, Rudolf and Schmidt, Gunther and Winter, Michael},\n biburl = {https://www.bibsonomy.org/bibtex/2217acc0616a2eac46a8fc267d731bf62/dblp},\n ee = {https://doi.org/10.1016/j.jlamp.2018.09.004},\n interhash = {8e1797e60d4dbc3117098c2509c787e8},\n intrahash = {217acc0616a2eac46a8fc267d731bf62},\n journal = {J. Log. Algebraic Methods Program.},\n keywords = {dblp},\n pages = {17-45},\n timestamp = {2020-04-02T11:38:26.000+0200},\n title = {Cryptomorphic topological structures: A computational, relation-algebraic approach.},\n url = {http://dblp.uni-trier.de/db/journals/jlp/jlp102.html#BerghammerSW19},\n volume = 102,\n year = 2019\n}\n\n","author_short":["Berghammer, R.","Schmidt, G.","Winter, M."],"key":"journals/jlp/BerghammerSW19","id":"journals/jlp/BerghammerSW19","bibbaseid":"berghammer-schmidt-winter-cryptomorphictopologicalstructuresacomputationalrelationalgebraicapproach-2019","role":"author","urls":{"Link":"https://doi.org/10.1016/j.jlamp.2018.09.004","Paper":"http://dblp.uni-trier.de/db/journals/jlp/jlp102.html#BerghammerSW19"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Gunther?items=1000","creationDate":"2020-11-19T14:18:48.690Z","downloads":0,"keywords":["dblp"],"search_terms":["cryptomorphic","topological","structures","computational","relation","algebraic","approach","berghammer","schmidt","winter"],"title":"Cryptomorphic topological structures: A computational, relation-algebraic approach.","year":2019,"dataSources":["vx3tQbZepny2tNB7k"]}