@INPROCEEDINGS{Pat05,
  author = {Pattinson, Dirk},
  title = {Domain-Theoretic Formulation of Linear Boundary Value Problems},
  booktitle = {New Computational Paradigms},
  year = {2005},
  editor = {Cooper, Barry S. and L{\"o}we, Benedikt and Torenvliet, Leen},
  volume = {3526},
  series = LNCS,
  pages = {385--395},
  address = {Berlin},
  publisher = {Springer},
  note = {First Conference on Computability in Europe, CiE 2005, Amsterdam,
	The Netherlands, June 2005},
  keywords = {bib,cca,dom}
}

{"_id":"iLQ3dtgYX8immY4DX","bibbaseid":"pattinson-domaintheoreticformulationoflinearboundaryvalueproblems-2005","authorIDs":[],"author_short":["Pattinson, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Pattinson"],"firstnames":["Dirk"],"suffixes":[]}],"title":"Domain-Theoretic Formulation of Linear Boundary Value Problems","booktitle":"New Computational Paradigms","year":"2005","editor":[{"propositions":[],"lastnames":["Cooper"],"firstnames":["Barry","S."],"suffixes":[]},{"propositions":[],"lastnames":["Löwe"],"firstnames":["Benedikt"],"suffixes":[]},{"propositions":[],"lastnames":["Torenvliet"],"firstnames":["Leen"],"suffixes":[]}],"volume":"3526","pages":"385–395","address":"Berlin","publisher":"Springer","note":"First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 2005","keywords":"bib,cca,dom","bibtex":"@INPROCEEDINGS{Pat05,\r\n author = {Pattinson, Dirk},\r\n title = {Domain-Theoretic Formulation of Linear Boundary Value Problems},\r\n booktitle = {New Computational Paradigms},\r\n year = {2005},\r\n editor = {Cooper, Barry S. and L{\\\"o}we, Benedikt and Torenvliet, Leen},\r\n volume = {3526},\r\n series = LNCS,\r\n pages = {385--395},\r\n address = {Berlin},\r\n publisher = {Springer},\r\n note = {First Conference on Computability in Europe, CiE 2005, Amsterdam,\r\n\tThe Netherlands, June 2005},\r\n keywords = {bib,cca,dom}\r\n}\r\n\r\n","author_short":["Pattinson, D."],"editor_short":["Cooper, B. S.","Löwe, B.","Torenvliet, L."],"key":"Pat05","id":"Pat05","bibbaseid":"pattinson-domaintheoreticformulationoflinearboundaryvalueproblems-2005","role":"author","urls":{},"keyword":["bib","cca","dom"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.989Z","downloads":0,"keywords":["bib","cca","dom"],"search_terms":["domain","theoretic","formulation","linear","boundary","value","problems","pattinson"],"title":"Domain-Theoretic Formulation of Linear Boundary Value Problems","year":2005,"dataSources":["t7rKiAbxugj4Agz8M"]}